org.jmlspecs.jml4.esc.gc.lang.simple.expr
Class SimpleFieldReference

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression
      org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleAssignable
          org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleFieldReference

public class SimpleFieldReference
extends SimpleAssignable

Field Summary

java.lang.String	declaringClass
java.lang.String	field
SimpleExpression	receiver

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

sourceEnd, sourceStart, type

Constructor Summary

SimpleFieldReference(SimpleExpression receiver, java.lang.String field, java.lang.String declaringClass, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

CfgExpression	accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
SimpleExpression	accept(SimpleExprVisitor visitor)
boolean	equals(java.lang.Object that)
java.lang.String	getName()
int	hashCode()
boolean	isField()
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleAssignable

isVariable

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

receiver

public final SimpleExpression receiver

field

public final java.lang.String field

declaringClass

public final java.lang.String declaringClass

Constructor Detail

SimpleFieldReference

public SimpleFieldReference(SimpleExpression receiver,
                            java.lang.String field,
                            java.lang.String declaringClass,
                            TypeBinding type,
                            int sourceStart,
                            int sourceEnd)

Method Detail

accept

public CfgExpression accept(PassifyVisitor visitor,
                            IncarnationMap incarnationMap)

Specified by:

accept in class SimpleExpression

accept

public SimpleExpression accept(SimpleExprVisitor visitor)

Specified by:

accept in class SimpleExpression

toString

public java.lang.String toString()

Specified by:

toString in class SimpleExpression

hashCode

public int hashCode()

Specified by:

hashCode in class SimpleAssignable

equals

public boolean equals(java.lang.Object that)

Specified by:

equals in class SimpleAssignable

getName

public java.lang.String getName()

Specified by:

getName in class SimpleAssignable

isField

public boolean isField()

Overrides:

isField in class SimpleAssignable