orc.ast.simple.arg
Class Var

java.lang.Object
  extended by orc.ast.simple.arg.Argument
      extended by orc.ast.simple.arg.Var
All Implemented Interfaces:
java.io.Serializable

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)
           
 Value asValue()
           
 Arg convert(Env<Var> vars)
           
 
Methods inherited from class orc.ast.simple.arg.Argument
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

asValue

public Value asValue()

addFree

public void addFree(java.util.Set<Var> freeset)
Overrides:
addFree in class Argument

convert

public Arg convert(Env<Var> vars)
Specified by:
convert in class Argument