Uses of Class
org.jmlspecs.jml4.esc.gc.lang.CfgStatement

Packages that use CfgStatement

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

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

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

CfgStatement	PassifyVisitor.getAssignmentsAsStatement()
CfgStatement	CfgSubstitutionVisitor.visit(CfgStatement stmt)
CfgStatement	PassifyVisitor.visit(SimpleAssert simpleAssert, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleAssume simpleAssume, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleExprStatement simpleExprStatement, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleGoto simpleGoto, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleHavoc simpleHavoc, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleSequence simpleSequence, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleVarDecl var, IncarnationMap incarnationMap)

Methods in org.jmlspecs.jml4.esc.gc with parameters of type CfgStatement

CfgStatement

CfgSubstitutionVisitor.visit(CfgStatement stmt)

Uses of CfgStatement in org.jmlspecs.jml4.esc.gc.lang

Subclasses of CfgStatement in org.jmlspecs.jml4.esc.gc.lang

class	CfgAssert
class	CfgAssume
class	CfgGoto
class	CfgSequence
class	CfgStatementBlock
class	CfgVarDecl

Fields in org.jmlspecs.jml4.esc.gc.lang declared as CfgStatement

static CfgStatement	CfgAssert.SKIP
CfgStatement	CfgStatementBlock.stmt
CfgStatement	CfgSequence.stmt1
CfgStatement	CfgSequence.stmt2

Methods in org.jmlspecs.jml4.esc.gc.lang that return CfgStatement

static CfgStatement	CfgSequence.fold(java.util.List cfgStmts)
CfgStatement	CfgBlock.stmt()
static CfgStatement[]	CfgSequence.unfold(CfgStatement[] stmts)

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

static CfgStatement[]

CfgSequence.unfold(CfgStatement[] stmts)

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

CfgBlock(java.lang.String blockId, CfgStatement stmt, IncarnationMap incarnationMap)

CfgSequence(CfgStatement stmt1, CfgStatement stmt2)

CfgStatementBlock(CfgStatement stmt, CfgVarDecl[] boundVarDecls)

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

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

CfgStatement	SimpleVarDecl.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
abstract CfgStatement	SimpleStatement.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleSequence.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleHavoc.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleGoto.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleExprStatement.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleAssume.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleAssert.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)