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

Packages that use CfgFieldReference

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

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

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

CfgExpression	ZeroIncarnationVisitor.visit(CfgFieldReference fieldRef)
CfgExpression	CfgSubstitutionVisitor.visit(CfgFieldReference fieldRef)
CfgExpression	CfgExpressionVisitor.visit(CfgFieldReference fieldRef)

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

Fields in org.jmlspecs.jml4.esc.gc.lang.expr declared as CfgFieldReference

CfgFieldReference

CfgFieldStore.field

Constructors in org.jmlspecs.jml4.esc.gc.lang.expr with parameters of type CfgFieldReference

CfgFieldStore(CfgFieldReference field, int oldIncarnation, int newIncarnation, CfgExpression value)

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

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

VC	WlpVisitor.visit(CfgFieldReference fieldRef)