Uses of Class
org.jmlspecs.jml4.esc.gc.IncarnationMap

Packages that use IncarnationMap

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

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

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

IncarnationMap

IncarnationMap.copy()

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

CfgExpression	SimpleSuperReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleArrayAllocationExpression arrayAlloc, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleArrayReference arrayRef, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleAssert simpleAssert, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleAssignment simpleAssignment, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleAssume simpleAssume, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleBinaryExpression binExpr, IncarnationMap incarnationMap)
CfgBlock	PassifyVisitor.visit(SimpleBlock simpleBlock, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleBooleanConstant bool, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleConditionalExpression condExpr, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleExprStatement simpleExprStatement, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleFieldReference fieldRef, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleGoto simpleGoto, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleHavoc simpleHavoc, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleIntegerConstant intConst, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleMessageSend msgSend, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleNotExpression notExpr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleOldExpression oldExpr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimplePostfixExpression post, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleQuantifiedExpression expr, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleSequence simpleSequence, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleSuperReference superRef, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleThisReference thisRef, IncarnationMap incarnationMap)
CfgStatement	PassifyVisitor.visit(SimpleVarDecl var, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleVariable var, IncarnationMap incarnationMap)

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

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

IncarnationMap

GcProgram.incarnations

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

IncarnationMap

CfgBlock.getIncarnationMap()

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

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

GcProgram(CfgBlock[] blocks, java.lang.String startName, IncarnationMap incMap, java.lang.String methodIndicator)

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

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

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)
CfgBlock	SimpleBlock.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleAssume.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleAssignment.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgStatement	SimpleAssert.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)

Uses of IncarnationMap in org.jmlspecs.jml4.esc.gc.lang.simple.expr

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

CfgExpression	SimpleVariable.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleThisReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleQuantifiedExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimplePostfixExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleOldExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleNotExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleMessageSend.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleIntegerConstant.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleFieldReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
abstract CfgExpression	SimpleExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleConditionalExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleBooleanConstant.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleBinaryExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleArrayReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleArrayAllocationExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)