Uses of Class
org.jmlspecs.jml4.esc.gc.lang.CfgVarDecl

Packages that use CfgVarDecl

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

Uses of CfgVarDecl in org.jmlspecs.jml4.esc.gc.lang

Fields in org.jmlspecs.jml4.esc.gc.lang declared as CfgVarDecl

CfgVarDecl[]	CfgStatementBlock.boundVarDecls
static CfgVarDecl[]	CfgVarDecl.EMPTY

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

CfgStatementBlock(CfgStatement stmt, CfgVarDecl[] boundVarDecls)

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

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

CfgVarDecl[]

CfgQuantifiedExpression.boundVariables

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

static CfgExpression

CfgQuantifiedExpression.asBlock(CfgExpression body, CfgVarDecl[] boundVarDecls)

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

CfgQuantifiedExpression(CfgQuantifier quantifier, CfgExpression range, CfgExpression body, CfgVarDecl[] boundVariables, TypeBinding type, int sourceStart, int sourceEnd)

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

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

VC	WlpVisitor.visit(CfgVarDecl cfgVarDecl)