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

Packages that use SugaredGoto

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

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

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

SugaredStatement	TargetGatheringVisitor.visit(SugaredGoto sugaredGoto)
SugaredStatement	SimplifyingVisitor.visit(SugaredGoto sugaredGoto)
SimpleStatement	DesugaringVisitor.visit(SugaredGoto sugaredGoto)
SugaredStatement	SugaredStatementVisitor.visit(SugaredGoto stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredGoto sugaredGoto, SugaredStatement rest)

Uses of SugaredGoto in org.jmlspecs.jml4.esc.gc.lang.sugared

Methods in org.jmlspecs.jml4.esc.gc.lang.sugared that return SugaredGoto

SugaredGoto

SugaredSequence.getFinalGotos()