org.jmlspecs.jml4.esc.gc
Class PassifyVisitor

java.lang.Object
  org.jmlspecs.jml4.esc.gc.PassifyVisitor

public class PassifyVisitor
extends java.lang.Object

Field Summary

java.util.Map

map

Constructor Summary

PassifyVisitor()

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

map

public final java.util.Map map

Constructor Detail

PassifyVisitor

public PassifyVisitor()

Method Detail

visit

public GcProgram visit(SimpleProgram simpleProgram)

visit

public CfgBlock visit(SimpleBlock simpleBlock,
                      IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleAssert simpleAssert,
                          IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleAssume simpleAssume,
                          IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleSequence simpleSequence,
                          IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleHavoc simpleHavoc,
                          IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleVarDecl var,
                          IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleExprStatement simpleExprStatement,
                          IncarnationMap incarnationMap)

visit

public CfgStatement visit(SimpleGoto simpleGoto,
                          IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleAssignment simpleAssignment,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleBooleanConstant bool,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleIntegerConstant intConst,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleVariable var,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleNotExpression notExpr,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleConditionalExpression condExpr,
                           IncarnationMap incarnationMap)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public CfgExpression visit(SimplePostfixExpression post,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleBinaryExpression binExpr,
                           IncarnationMap incarnationMap)

getAssignmentsAsStatement

public CfgStatement getAssignmentsAsStatement()

visit

public CfgExpression visit(SimpleQuantifiedExpression expr,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleOldExpression oldExpr,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleMessageSend msgSend,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleFieldReference fieldRef,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleSuperReference superRef,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleThisReference thisRef,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleArrayReference arrayRef,
                           IncarnationMap incarnationMap)

visit

public CfgExpression visit(SimpleArrayAllocationExpression arrayAlloc,
                           IncarnationMap incarnationMap)