Package org.jmlspecs.jml4.esc.gc.lang.sugared.expr

Class Summary

SugaredArrayAllocationExpression
SugaredArrayReference
SugaredAssignable
SugaredAssignment
SugaredBinaryExpression
SugaredBooleanConstant
SugaredConditionalExpression
SugaredExpression
SugaredFieldReference
SugaredIntegerConstant
SugaredMessageSend
SugaredMethodSpecification
SugaredNotExpression
SugaredOldExpression
SugaredOperator
SugaredPostfixExpression
SugaredQuantifiedExpression
SugaredQuantifier
SugaredSuperReference
SugaredThisReference
SugaredUnaryExpression
SugaredVariable