Uses of Interface
org.jmlspecs.jml4.esc.gc.SimplifyingVisitor

Packages that use SimplifyingVisitor

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

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

Classes in org.jmlspecs.jml4.esc.gc that implement SimplifyingVisitor

class

TargetGatheringVisitor

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

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

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