Uses of Class
org.jmlspecs.jml4.esc.gc.lang.simple.SimpleStatement

Packages that use SimpleStatement

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

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

Methods in org.jmlspecs.jml4.esc.gc that return SimpleStatement

SimpleStatement	DesugaringVisitor.visit(SugaredAssert sugaredAssert)
SimpleStatement	DesugaringVisitor.visit(SugaredAssume sugaredAssume)
SimpleStatement	DesugaringVisitor.visit(SugaredBreakStatement sugaredBreakStatement)
SimpleStatement	DesugaringVisitor.visit(SugaredContinueStatement sugaredContinueStatement)
SimpleStatement	DesugaringVisitor.visit(SugaredGoto sugaredGoto)
SimpleStatement	DesugaringVisitor.visit(SugaredHavoc sugaredHavoc)
SimpleStatement	DesugaringVisitor.visit(SugaredIfStatement sugaredIfStatement)
SimpleStatement	DesugaringVisitor.visit(SugaredPostcondition sugaredPostcondition)
SimpleStatement	DesugaringVisitor.visit(SugaredPrecondition sugaredPrecondition)
SimpleStatement	DesugaringVisitor.visit(SugaredReturnStatement sugaredReturn)
SimpleStatement	DesugaringVisitor.visit(SugaredSequence sugaredSequence)
SimpleStatement	DesugaringVisitor.visit(SugaredVarDecl var)
SimpleStatement	DesugaringVisitor.visit(SugaredWhileStatement sugaredWhileStatement)

Uses of SimpleStatement in org.jmlspecs.jml4.esc.gc.lang.simple

Subclasses of SimpleStatement in org.jmlspecs.jml4.esc.gc.lang.simple

class	SimpleAssert
class	SimpleAssume
class	SimpleExprStatement
class	SimpleGoto
class	SimpleHavoc
class	SimpleSequence
class	SimpleVarDecl

Fields in org.jmlspecs.jml4.esc.gc.lang.simple declared as SimpleStatement

static SimpleStatement	SimpleAssert.SKIP
SimpleStatement	SimpleBlock.stmt
SimpleStatement	SimpleSequence.stmt1

Methods in org.jmlspecs.jml4.esc.gc.lang.simple that return SimpleStatement

static SimpleStatement	SimpleSequence.fold(SimpleStatement[] block)
SimpleStatement	SimpleSequence.stmt2()

Methods in org.jmlspecs.jml4.esc.gc.lang.simple with parameters of type SimpleStatement

static SimpleStatement

SimpleSequence.fold(SimpleStatement[] block)

Constructors in org.jmlspecs.jml4.esc.gc.lang.simple with parameters of type SimpleStatement

SimpleBlock(java.lang.String blockId, SimpleStatement stmt, java.lang.String[] gotos)

SimpleSequence(SimpleStatement stmt1, SimpleStatement stmt2)

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

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

SimpleStatement	SugaredWhileStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredVarDecl.accept(DesugaringVisitor visitor)
abstract SimpleStatement	SugaredStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredSequence.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredReturnStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredPrecondition.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredPostcondition.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredIfStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredHavoc.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredGoto.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredExprStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredContinueStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredBreakStatement.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredAssume.accept(DesugaringVisitor visitor)
SimpleStatement	SugaredAssert.accept(DesugaringVisitor visitor)