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

java.lang.Object
  extended by org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredExpression
Direct Known Subclasses:
SugaredArrayAllocationExpression, SugaredAssignable, SugaredAssignment, SugaredBinaryExpression, SugaredBooleanConstant, SugaredConditionalExpression, SugaredIntegerConstant, SugaredMessageSend, SugaredOldExpression, SugaredPostfixExpression, SugaredQuantifiedExpression, SugaredThisReference, SugaredUnaryExpression

public abstract class SugaredExpression
extends java.lang.Object


Field Summary
static SugaredExpression[] EMPTY
           
 int sourceEnd
           
 int sourceStart
           
 TypeBinding type
           
 
Constructor Summary
SugaredExpression(TypeBinding type, int sourceStart, int sourceEnd)
           
 
Method Summary
abstract  SimpleExpression accept(DesugaringVisitor visitor)
           
abstract  SugaredExpression accept(SugaredExpressionVisitor visitor)
           
 void clearSourcePosition()
           
 boolean equals(java.lang.Object obj)
           
 int hashCode()
           
abstract  java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

EMPTY

public static final SugaredExpression[] EMPTY

sourceStart

public int sourceStart

sourceEnd

public int sourceEnd

type

public final TypeBinding type
Constructor Detail

SugaredExpression

public SugaredExpression(TypeBinding type,
                         int sourceStart,
                         int sourceEnd)
Method Detail

accept

public abstract SimpleExpression accept(DesugaringVisitor visitor)

toString

public abstract java.lang.String toString()
Overrides:
toString in class java.lang.Object

accept

public abstract SugaredExpression accept(SugaredExpressionVisitor visitor)

clearSourcePosition

public void clearSourcePosition()

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object