orc.ast.simple.arg
Class Constant

java.lang.Object
  orc.ast.simple.arg.Argument
      orc.ast.simple.arg.Constant

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class Constant
extends Argument

Program constants, which occur in argument position.

Author:

dkitchin

See Also:

Serialized Form

Field Summary

java.lang.Object

v

Constructor Summary

Constant(java.lang.Object v)

Method Summary

Arg	convert(Env<Var> vars) Convert to DeBruijn index.
java.lang.String	toString()

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

addFree, getSourceLocation, setSourceLocation, subst

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

convert

public Arg convert(Env<Var> vars)

Description copied from class: Argument

Convert to DeBruijn index.

Specified by:

convert in class Argument