orc.ast.oil.arg
Class Constant

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

public class Constant
extends Arg

Field Summary

java.lang.Object

v

Constructor Summary

Constant(java.lang.Object v)

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, Env<Type> typectx)

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

v

public java.lang.Object v

Constructor Detail

Constant

public Constant(java.lang.Object v)

Method Detail

resolve

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

Specified by:

resolve in class Arg

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,
                      Env<Type> typectx)
               throws TypeException

Specified by:

typesynth in class Expr

Throws:

TypeException

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.

Specified by:

addIndices in class Expr

Parameters:

indices - The index set accumulator.

depth - The minimum index for a free variable.