orc.ast.oil.arg
Class Var

java.lang.Object
  orc.ast.oil.Expr
      orc.ast.oil.arg.Arg
          orc.ast.oil.arg.Var

public class Var
extends Arg

Bound variables, represented using deBruijn indices. These occur in argument and expression position.

Author:

dkitchin

Field Summary

int

index

Constructor Summary

Var(int index)

Method Summary

<E> E	accept(Visitor<E> visitor)
void	addIndices(java.util.Set<java.lang.Integer> indices, int depth) If this expression has any indices which are >= depth, add (index - depth) to the index set accumulator.
<T> T	resolve(Env<T> env)
java.lang.String	toString()
Type	typesynth(Env<Type> ctx)

Methods inherited from class orc.ast.oil.arg.Arg

compile

Methods inherited from class orc.ast.oil.Expr

freeVars, typecheck

Methods inherited from class java.lang.Object

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

Field Detail

index

public int index

Constructor Detail

Var

public Var(int index)

Method Detail

resolve

public <T> T resolve(Env<T> env)

Specified by:

resolve in class Arg

addIndices

public void addIndices(java.util.Set<java.lang.Integer> indices,
                       int depth)

Description copied from class: Expr

If this expression has any indices which are >= depth, add (index - depth) to the index set accumulator. The depth increases each time this method recurses through a binder. The default implementation is to assume the expression has no free variables, and thus do nothing. Expressions which contain variables or subexpressions override this behavior.

Overrides:

addIndices in class Expr

Parameters:

indices - The index set accumulator.

depth - The minimum index for a free variable.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public <E> E accept(Visitor<E> visitor)

Specified by:

accept in class Expr

typesynth

public Type typesynth(Env<Type> ctx)
               throws TypeException

Specified by:

typesynth in class Expr

Throws:

TypeException