Uses of Class
org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredVarDecl

Packages that use SugaredVarDecl

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

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

Methods in org.jmlspecs.jml4.esc.gc with parameters of type SugaredVarDecl

SugaredStatement	TargetGatheringVisitor.visit(SugaredVarDecl sugaredVarDecl)
SugaredStatement	SimplifyingVisitor.visit(SugaredVarDecl sugaredVarDecl)
SimpleStatement	DesugaringVisitor.visit(SugaredVarDecl var)
SugaredStatement	SugaredStatementVisitor.visit(SugaredVarDecl stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredVarDecl sugaredVarDecl, SugaredStatement rest)

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

Fields in org.jmlspecs.jml4.esc.gc.lang.sugared.expr declared as SugaredVarDecl

SugaredVarDecl[]	SugaredQuantifiedExpression.boundVariables
SugaredVarDecl[]	SugaredMessageSend.formalParams

Constructors in org.jmlspecs.jml4.esc.gc.lang.sugared.expr with parameters of type SugaredVarDecl

SugaredMessageSend(int countForLabels, SugaredExpression receiver, java.lang.String selector, SugaredVarDecl[] formalParams, SugaredExpression[] actualParams, TypeBinding type, SugaredExpression pre, SugaredExpression post, int sourceStart, int sourceEnd)

SugaredQuantifiedExpression(SugaredQuantifier quantifier, SugaredExpression range, SugaredExpression body, SugaredVarDecl[] boundVariables, TypeBinding type, int sourceStart, int sourceEnd)