orc.ast.simple.argument
Class Site

java.lang.Object
  orc.ast.simple.argument.Argument
      orc.ast.simple.argument.Site

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class Site
extends Argument

Site values, which occur in argument position.

Author:

dkitchin

See Also:

Serialized Form

Field Summary

Site

site

Constructor Summary

Site(Site site)

Method Summary

Argument	convert(Env<Variable> vars) Convert to DeBruijn index.
java.lang.String	toString()

Methods inherited from class orc.ast.simple.argument.Argument

addFree, convertAll, getSourceLocation, setSourceLocation, subst, substAll

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

site

public Site site

Constructor Detail

Site

public Site(Site site)

Method Detail

convert

public Argument convert(Env<Variable> vars)

Description copied from class: Argument

Convert to DeBruijn index.

Specified by:

convert in class Argument

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object