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

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.SugaredVariable

public class SugaredVariable
extends SugaredAssignable

Field Summary

boolean	isStaticField
java.lang.String	name
int	pos

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredVariable(java.lang.String name, int pos, TypeBinding type, int sourceStart, int sourceEnd)

SugaredVariable(java.lang.String name, int pos, TypeBinding type, int sourceStart, int sourceEnd, boolean isStaticField)

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

name

public final java.lang.String name

pos

public final int pos

isStaticField

public final boolean isStaticField

Constructor Detail

SugaredVariable

public SugaredVariable(java.lang.String name,
                       int pos,
                       TypeBinding type,
                       int sourceStart,
                       int sourceEnd,
                       boolean isStaticField)

SugaredVariable

public SugaredVariable(java.lang.String name,
                       int pos,
                       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