Uses of Class
org.jmlspecs.jml4.esc.gc.lang.expr.CfgSuperReference

Packages that use CfgSuperReference

org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.esc.vc

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

Methods in org.jmlspecs.jml4.esc.gc with parameters of type CfgSuperReference

CfgExpression	ZeroIncarnationVisitor.visit(CfgSuperReference superRef)
CfgExpression	CfgSubstitutionVisitor.visit(CfgSuperReference superRef)
CfgExpression	CfgExpressionVisitor.visit(CfgSuperReference superRef)

Uses of CfgSuperReference in org.jmlspecs.jml4.esc.vc

Methods in org.jmlspecs.jml4.esc.vc with parameters of type CfgSuperReference

VC	WlpVisitor.visit(CfgSuperReference superRef)