Uses of Interface
org.jmlspecs.jml4.esc.gc.CfgExpressionVisitor

Packages that use CfgExpressionVisitor

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

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

Classes in org.jmlspecs.jml4.esc.gc that implement CfgExpressionVisitor

class	CfgSubstitutionVisitor
class	ZeroIncarnationVisitor

Uses of CfgExpressionVisitor in org.jmlspecs.jml4.esc.gc.lang.expr

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

CfgExpression	CfgVariable.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgThisReference.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgSuperReference.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgQuantifiedExpression.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgNotExpression.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgIntegerConstant.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgFieldStore.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgFieldReference.accept(CfgExpressionVisitor visitor)
abstract CfgExpression	CfgExpression.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgConditionalExpression.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgBooleanConstant.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgBinaryExpression.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgArrayReference.accept(CfgExpressionVisitor visitor)
CfgExpression	CfgArrayAllocationExpression.accept(CfgExpressionVisitor visitor)