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

Packages that use SugaredWhileStatement

org.jmlspecs.jml4.esc.gc

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

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

SugaredStatement	TargetGatheringVisitor.visit(SugaredWhileStatement sugaredWhileStatement)
SugaredStatement	SimplifyingVisitor.visit(SugaredWhileStatement sugaredWhileStatement)
SimpleStatement	DesugaringVisitor.visit(SugaredWhileStatement sugaredWhileStatement)
SugaredStatement	SugaredStatementVisitor.visit(SugaredWhileStatement stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredWhileStatement whileStmt, SugaredStatement rest)