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

Packages that use PassifyVisitor

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

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

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

CfgExpression

SimpleSuperReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)

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

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

GcProgram	SimpleProgram.accept(PassifyVisitor visitor)
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 PassifyVisitor in org.jmlspecs.jml4.esc.gc.lang.simple.expr

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

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)