org.jmlspecs.jml4.esc.gc
Interface SimplifyingVisitor

All Known Implementing Classes:

TargetGatheringVisitor

public interface SimplifyingVisitor

Method Summary

SugaredStatement	visit(SugaredAssert sugaredAssert)
SugaredStatement	visit(SugaredAssume sugaredAssume)
SugaredBlock[]	visit(SugaredBlock sugaredBlock)
SugaredStatement	visit(SugaredBreakStatement sugaredBreakStatement)
SugaredStatement	visit(SugaredContinueStatement sugaredContinueStatement)
SugaredStatement	visit(SugaredExprStatement sugaredExprStatement)
SugaredStatement	visit(SugaredGoto sugaredGoto)
SugaredStatement	visit(SugaredHavoc sugaredHavoc)
SugaredStatement	visit(SugaredIfStatement sugaredIfStatement)
SugaredStatement	visit(SugaredPostcondition sugaredPostcondition)
SugaredStatement	visit(SugaredPrecondition sugaredPrecondition)
SugaredProgram	visit(SugaredProgram sugaredProgram)
SugaredStatement	visit(SugaredReturnStatement sugaredReturn)
SugaredStatement	visit(SugaredSequence sugaredSequence)
SugaredStatement	visit(SugaredVarDecl sugaredVarDecl)
SugaredStatement	visit(SugaredWhileStatement sugaredWhileStatement)

Method Detail

visit

SugaredProgram visit(SugaredProgram sugaredProgram)

visit

SugaredBlock[] visit(SugaredBlock sugaredBlock)

visit

SugaredStatement visit(SugaredSequence sugaredSequence)

visit

SugaredStatement visit(SugaredAssert sugaredAssert)

visit

SugaredStatement visit(SugaredAssume sugaredAssume)

visit

SugaredStatement visit(SugaredIfStatement sugaredIfStatement)

visit

SugaredStatement visit(SugaredWhileStatement sugaredWhileStatement)

visit

SugaredStatement visit(SugaredVarDecl sugaredVarDecl)

visit

SugaredStatement visit(SugaredGoto sugaredGoto)

visit

SugaredStatement visit(SugaredBreakStatement sugaredBreakStatement)

visit

SugaredStatement visit(SugaredContinueStatement sugaredContinueStatement)

visit

SugaredStatement visit(SugaredExprStatement sugaredExprStatement)

visit

SugaredStatement visit(SugaredHavoc sugaredHavoc)

visit

SugaredStatement visit(SugaredReturnStatement sugaredReturn)

visit

SugaredStatement visit(SugaredPrecondition sugaredPrecondition)

visit

SugaredStatement visit(SugaredPostcondition sugaredPostcondition)