org.jmlspecs.jml4.esc.gc.lang.sugared.expr
Class SugaredFieldReference

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
      org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredAssignable
          org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredFieldReference

public class SugaredFieldReference
extends SugaredAssignable

Field Summary

java.lang.String	declaringClass
java.lang.String	field
SugaredExpression	receiver

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredFieldReference(SugaredExpression receiver, java.lang.String field, java.lang.String declaringClass, TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

SimpleExpression	accept(DesugaringVisitor visitor)
SugaredExpression	accept(SugaredExpressionVisitor visitor)
java.lang.String	getName()
boolean	isVariable()
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredAssignable

isField

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression

clearSourcePosition, equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

receiver

public final SugaredExpression receiver

field

public final java.lang.String field

declaringClass

public final java.lang.String declaringClass

Constructor Detail

SugaredFieldReference

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

Method Detail

accept

public SimpleExpression accept(DesugaringVisitor visitor)

Specified by:

accept in class SugaredExpression

accept

public SugaredExpression accept(SugaredExpressionVisitor visitor)

Specified by:

accept in class SugaredExpression

toString

public java.lang.String toString()

Specified by:

toString in class SugaredExpression

getName

public java.lang.String getName()

Specified by:

getName in class SugaredAssignable

isVariable

public boolean isVariable()

Overrides:

isVariable in class SugaredAssignable