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

Packages that use SugaredIfStatement

org.jmlspecs.jml4.esc.gc

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

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

SugaredStatement	TargetGatheringVisitor.visit(SugaredIfStatement sugaredIfStatement)
SugaredStatement	SimplifyingVisitor.visit(SugaredIfStatement sugaredIfStatement)
SimpleStatement	DesugaringVisitor.visit(SugaredIfStatement sugaredIfStatement)
SugaredStatement	DesugarLoopVisitor.visit(SugaredIfStatement sugaredIfStatement, SugaredStatement rest)