orc.ast.simple.arg
Class Site

java.lang.Object
  orc.ast.simple.arg.Argument
      orc.ast.simple.arg.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

Arg	convert(Env<Var> vars) Convert to DeBruijn index.

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

addFree, getSourceLocation, setSourceLocation, subst

Methods inherited from class java.lang.Object

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

Field Detail

site

public Site site

Constructor Detail

Site

public Site(Site site)

Method Detail

convert

public Arg convert(Env<Var> vars)

Description copied from class: Argument

Convert to DeBruijn index.

Specified by:

convert in class Argument