orc.ast.oil.arg
Class Field

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

All Implemented Interfaces:

java.lang.Comparable<Field>

public class Field
extends Arg
implements java.lang.Comparable<Field>

Field access argument. Embeds a String key.

Author:

dkitchin

Field Summary

java.lang.String

key

Constructor Summary

Field(java.lang.String key)

Method Summary

<E> E	accept(Visitor<E> visitor)
int	compareTo(Field that)
boolean	equals(java.lang.Object that)
java.lang.Object	resolve(Env 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

addIndices, freeVars, typecheck

Methods inherited from class java.lang.Object

clone, 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

resolve

public java.lang.Object resolve(Env env)

Specified by:

resolve in class Arg

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(Field that)

Specified by:

compareTo in interface java.lang.Comparable<Field>

equals

public boolean equals(java.lang.Object that)

Overrides:

equals 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