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

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

Direct Known Subclasses:

SugaredArrayReference, SugaredFieldReference, SugaredVariable

public abstract class SugaredAssignable
extends SugaredExpression

Field Summary

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

EMPTY, sourceEnd, sourceStart, type

Constructor Summary

SugaredAssignable(TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

abstract java.lang.String	getName()
boolean	isField()
boolean	isVariable()

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

accept, accept, clearSourcePosition, equals, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SugaredAssignable

public SugaredAssignable(TypeBinding type,
                         int sourceStart,
                         int sourceEnd)

Method Detail

getName

public abstract java.lang.String getName()

isField

public boolean isField()

isVariable

public boolean isVariable()