orc.ast.simple.argument
Class Variable

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

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class Variable
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

Field Summary

java.lang.String

name

Constructor Summary

Variable()

Method Summary

void	addFree(java.util.Set<Variable> freeset)
Argument	convert(Env<Variable> vars) Convert to DeBruijn index.
java.lang.String	toString()

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

convertAll, getSourceLocation, setSourceLocation, subst, substAll

Methods inherited from class java.lang.Object

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

Field Detail

name

public java.lang.String name

Constructor Detail

Variable

public Variable()

Method Detail

addFree

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

Overrides:

addFree in class Argument

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