Uses of Interface
org.jmlspecs.jml4.esc.gc.SugaredExpressionVisitor

Packages that use SugaredExpressionVisitor

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

Uses of SugaredExpressionVisitor in org.jmlspecs.jml4.esc.gc

Classes in org.jmlspecs.jml4.esc.gc that implement SugaredExpressionVisitor

class	TargetGatheringVisitor
class	VarToOldVisitor

Uses of SugaredExpressionVisitor in org.jmlspecs.jml4.esc.gc.lang.sugared.expr

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared.expr with parameters of type SugaredExpressionVisitor

SugaredExpression	SugaredVariable.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredThisReference.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredSuperReference.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredQuantifiedExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredPostfixExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredOldExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredNotExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredMessageSend.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredIntegerConstant.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredFieldReference.accept(SugaredExpressionVisitor visitor)
abstract SugaredExpression	SugaredExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredConditionalExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredBooleanConstant.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredBinaryExpression.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredAssignment.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredArrayReference.accept(SugaredExpressionVisitor visitor)
SugaredExpression	SugaredArrayAllocationExpression.accept(SugaredExpressionVisitor visitor)