org.jmlspecs.jml4.esc.gc
Interface SugaredStatementVisitor

All Known Implementing Classes:

DesugarLoopVisitor

public interface SugaredStatementVisitor

Method Summary

SugaredStatement	visit(SugaredAssert stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredAssume stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredBreakStatement stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredContinueStatement stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredExprStatement stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredGoto stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredHavoc stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredPostcondition stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredPrecondition stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredReturnStatement stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredSequence stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredVarDecl stmt, SugaredStatement rest)
SugaredStatement	visit(SugaredWhileStatement stmt, SugaredStatement rest)

Method Detail

visit

SugaredStatement visit(SugaredAssert stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredAssume stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredBreakStatement stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredContinueStatement stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredExprStatement stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredHavoc stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredGoto stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredPostcondition stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredPrecondition stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredReturnStatement stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredSequence stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredVarDecl stmt,
                       SugaredStatement rest)

visit

SugaredStatement visit(SugaredWhileStatement stmt,
                       SugaredStatement rest)