org.jmlspecs.jml4.esc.gc
Class ZeroIncarnationVisitor

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

All Implemented Interfaces:

CfgExpressionVisitor

public class ZeroIncarnationVisitor
extends java.lang.Object
implements CfgExpressionVisitor

Constructor Summary

ZeroIncarnationVisitor()

Method Summary

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)
CfgExpression	visit(CfgSuperReference superRef)
CfgExpression	visit(CfgThisReference thisRef)
CfgExpression	visit(CfgVariable var)

Methods inherited from class java.lang.Object

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

Constructor Detail

ZeroIncarnationVisitor

public ZeroIncarnationVisitor()

Method Detail

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