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)
java.lang.Object	resolve(Env<java.lang.Object> env)
java.lang.String	toString()
Type	typesynth(Env<Type> ctx)

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

compile, resolve

Methods inherited from class orc.ast.oil.Expr

addIndices, 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 java.lang.Object resolve(Env<java.lang.Object> env)

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