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

Field Summary

java.lang.String

name

Constructor Summary

Var()

Method Summary

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

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, wait, wait, wait

Field Detail

name

public java.lang.String name

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

giveName

public void giveName(java.lang.String name)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object