org.jmlspecs.jml4.esc.gc
Class CfgSubstitutionVisitor

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

All Implemented Interfaces:

CfgExpressionVisitor

public class CfgSubstitutionVisitor
extends java.lang.Object
implements CfgExpressionVisitor

Field Summary

java.util.Map

map

Constructor Summary

CfgSubstitutionVisitor(java.util.List bindings)

CfgSubstitutionVisitor(java.util.Map map)

Method Summary

java.lang.String	toString()
CfgExpression	visit(CfgArrayAllocationExpression arrayAlloc)
CfgExpression	visit(CfgArrayReference arrayRef)
CfgExpression	visit(CfgBinaryExpression binExpr)
CfgExpression	visit(CfgBooleanConstant bool)
CfgExpression	visit(CfgConditionalExpression condExpr)
CfgExpression	visit(CfgFieldReference fieldRef)
CfgExpression	visit(CfgFieldStore fieldStore)
CfgExpression	visit(CfgIntegerConstant intConst)
CfgExpression	visit(CfgNotExpression cfgNotExpression)
CfgExpression	visit(CfgQuantifiedExpression expr)
CfgStatement	visit(CfgStatement stmt)
CfgExpression	visit(CfgSuperReference superRef)
CfgExpression	visit(CfgThisReference thisRef)
CfgExpression	visit(CfgVariable var)

Methods inherited from class java.lang.Object

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

Field Detail

map

public java.util.Map map

Constructor Detail

CfgSubstitutionVisitor

public CfgSubstitutionVisitor(java.util.List bindings)

CfgSubstitutionVisitor

public CfgSubstitutionVisitor(java.util.Map map)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

visit

public CfgExpression visit(CfgVariable var)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgBooleanConstant bool)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgIntegerConstant intConst)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgNotExpression cfgNotExpression)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgBinaryExpression binExpr)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgConditionalExpression condExpr)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgQuantifiedExpression expr)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgSuperReference superRef)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgThisReference thisRef)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgFieldReference fieldRef)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgFieldStore fieldStore)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgArrayReference arrayRef)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgExpression visit(CfgArrayAllocationExpression arrayAlloc)

Specified by:

visit in interface CfgExpressionVisitor

visit

public CfgStatement visit(CfgStatement stmt)