Uses of Class
org.jmlspecs.jml4.esc.gc.DesugarLoopVisitor

Packages that use DesugarLoopVisitor

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

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

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

SugaredProgram	SugaredProgram.accept(DesugarLoopVisitor visitor)
SugaredBlock[]	SugaredBlock.accept(DesugarLoopVisitor visitor)
SugaredStatement	SugaredWhileStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredVarDecl.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
abstract SugaredStatement	SugaredStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredSequence.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredReturnStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredPrecondition.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredPostcondition.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredIfStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredHavoc.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredGoto.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredExprStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredContinueStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredBreakStatement.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredAssume.accept(DesugarLoopVisitor visitor, SugaredStatement rest)
SugaredStatement	SugaredAssert.accept(DesugarLoopVisitor visitor, SugaredStatement rest)