orc.ast.simple.argument
Class Field

java.lang.Object
  orc.ast.simple.argument.Argument
      orc.ast.simple.argument.Field

All Implemented Interfaces:

java.io.Serializable, Locatable, Located

public class Field
extends Argument

Field access argument. Embeds a String key.

Author:

dkitchin

See Also:

Serialized Form

Field Summary

java.lang.String

key

Constructor Summary

Field(java.lang.String key)

Method Summary

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

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

addFree, convertAll, getSourceLocation, setSourceLocation, subst, substAll

Methods inherited from class java.lang.Object

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

Field Detail

key

public java.lang.String key

Constructor Detail

Field

public Field(java.lang.String key)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

convert

public Argument convert(Env<Variable> vars)

Description copied from class: Argument

Convert to DeBruijn index.

Specified by:

convert in class Argument