org.jmlspecs.jml4.esc.gc
Interface CfgExpressionVisitor

All Known Implementing Classes:

CfgSubstitutionVisitor, ZeroIncarnationVisitor

public interface CfgExpressionVisitor

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

Method Detail

visit

CfgExpression visit(CfgVariable var)

visit

CfgExpression visit(CfgBooleanConstant bool)

visit

CfgExpression visit(CfgIntegerConstant intConst)

visit

CfgExpression visit(CfgNotExpression notExpr)

visit

CfgExpression visit(CfgBinaryExpression binExpr)

visit

CfgExpression visit(CfgConditionalExpression condExpr)

visit

CfgExpression visit(CfgQuantifiedExpression expr)

visit

CfgExpression visit(CfgSuperReference superRef)

visit

CfgExpression visit(CfgThisReference thisRef)

visit

CfgExpression visit(CfgFieldReference fieldRef)

visit

CfgExpression visit(CfgFieldStore fieldStore)

visit

CfgExpression visit(CfgArrayReference arrayRef)

visit

CfgExpression visit(CfgArrayAllocationExpression arrayAlloc)