orc.ast.simple.arg
Class Var

java.lang.Object
  orc.ast.simple.arg.Argument
      orc.ast.simple.arg.Var

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class Var
extends Argument

Bound variables. Equivalence on these variables is physical (==) equality. These occur in argument position. They also occur as fields in combinators which bind variables.

Author:

dkitchin

See Also:

Serialized Form

Constructor Summary

Var()

Method Summary

void	addFree(java.util.Set<Var> freeset)
Arg	convert(Env<Var> vars) Convert to DeBruijn index.

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

getSourceLocation, setSourceLocation, subst

Methods inherited from class java.lang.Object

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

Constructor Detail

Var

public Var()

Method Detail

addFree

public void addFree(java.util.Set<Var> freeset)

Overrides:

addFree in class Argument

convert

public Arg convert(Env<Var> vars)

Description copied from class: Argument

Convert to DeBruijn index.

Specified by:

convert in class Argument