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

Packages that use CfgExpression

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

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

Methods in org.jmlspecs.jml4.esc.gc that return CfgExpression

CfgExpression	SimpleSuperReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	ZeroIncarnationVisitor.visit(CfgArrayAllocationExpression arrayAlloc)
CfgExpression	CfgSubstitutionVisitor.visit(CfgArrayAllocationExpression arrayAlloc)
CfgExpression	CfgExpressionVisitor.visit(CfgArrayAllocationExpression arrayAlloc)
CfgExpression	ZeroIncarnationVisitor.visit(CfgArrayReference arrayRef)
CfgExpression	CfgSubstitutionVisitor.visit(CfgArrayReference arrayRef)
CfgExpression	CfgExpressionVisitor.visit(CfgArrayReference arrayRef)
CfgExpression	ZeroIncarnationVisitor.visit(CfgBinaryExpression binExpr)
CfgExpression	CfgSubstitutionVisitor.visit(CfgBinaryExpression binExpr)
CfgExpression	CfgExpressionVisitor.visit(CfgBinaryExpression binExpr)
CfgExpression	ZeroIncarnationVisitor.visit(CfgBooleanConstant bool)
CfgExpression	CfgSubstitutionVisitor.visit(CfgBooleanConstant bool)
CfgExpression	CfgExpressionVisitor.visit(CfgBooleanConstant bool)
CfgExpression	ZeroIncarnationVisitor.visit(CfgConditionalExpression condExpr)
CfgExpression	CfgSubstitutionVisitor.visit(CfgConditionalExpression condExpr)
CfgExpression	CfgExpressionVisitor.visit(CfgConditionalExpression condExpr)
CfgExpression	ZeroIncarnationVisitor.visit(CfgFieldReference fieldRef)
CfgExpression	CfgSubstitutionVisitor.visit(CfgFieldReference fieldRef)
CfgExpression	CfgExpressionVisitor.visit(CfgFieldReference fieldRef)
CfgExpression	ZeroIncarnationVisitor.visit(CfgFieldStore fieldStore)
CfgExpression	CfgSubstitutionVisitor.visit(CfgFieldStore fieldStore)
CfgExpression	CfgExpressionVisitor.visit(CfgFieldStore fieldStore)
CfgExpression	ZeroIncarnationVisitor.visit(CfgIntegerConstant intConst)
CfgExpression	CfgSubstitutionVisitor.visit(CfgIntegerConstant intConst)
CfgExpression	CfgExpressionVisitor.visit(CfgIntegerConstant intConst)
CfgExpression	ZeroIncarnationVisitor.visit(CfgNotExpression cfgNotExpression)
CfgExpression	CfgSubstitutionVisitor.visit(CfgNotExpression cfgNotExpression)
CfgExpression	CfgExpressionVisitor.visit(CfgNotExpression notExpr)
CfgExpression	ZeroIncarnationVisitor.visit(CfgQuantifiedExpression expr)
CfgExpression	CfgSubstitutionVisitor.visit(CfgQuantifiedExpression expr)
CfgExpression	CfgExpressionVisitor.visit(CfgQuantifiedExpression expr)
CfgExpression	ZeroIncarnationVisitor.visit(CfgSuperReference superRef)
CfgExpression	CfgSubstitutionVisitor.visit(CfgSuperReference superRef)
CfgExpression	CfgExpressionVisitor.visit(CfgSuperReference superRef)
CfgExpression	ZeroIncarnationVisitor.visit(CfgThisReference thisRef)
CfgExpression	CfgSubstitutionVisitor.visit(CfgThisReference thisRef)
CfgExpression	CfgExpressionVisitor.visit(CfgThisReference thisRef)
CfgExpression	ZeroIncarnationVisitor.visit(CfgVariable var)
CfgExpression	CfgSubstitutionVisitor.visit(CfgVariable var)
CfgExpression	CfgExpressionVisitor.visit(CfgVariable var)
CfgExpression	PassifyVisitor.visit(SimpleArrayAllocationExpression arrayAlloc, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleArrayReference arrayRef, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleAssignment simpleAssignment, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleBinaryExpression binExpr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleBooleanConstant bool, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleConditionalExpression condExpr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleFieldReference fieldRef, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleIntegerConstant intConst, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleMessageSend msgSend, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleNotExpression notExpr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleOldExpression oldExpr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimplePostfixExpression post, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleQuantifiedExpression expr, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleSuperReference superRef, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleThisReference thisRef, IncarnationMap incarnationMap)
CfgExpression	PassifyVisitor.visit(SimpleVariable var, IncarnationMap incarnationMap)

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

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

CfgExpression	CfgAssume.pred
CfgExpression	CfgAssert.pred

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

void	CfgBlock.addAssume(CfgExpression pred)

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

CfgAssert(CfgExpression pred, KindOfAssertion kind, int sourceStart)

CfgAssume(CfgExpression pred, int sourceStart)

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

Subclasses of CfgExpression in org.jmlspecs.jml4.esc.gc.lang.expr

class	CfgArrayAllocationExpression
class	CfgArrayReference
class	CfgAssignable
class	CfgBinaryExpression
class	CfgBooleanConstant
class	CfgConditionalExpression
class	CfgFieldReference
class	CfgFieldStore
class	CfgIntegerConstant
class	CfgNotExpression
class	CfgQuantifiedExpression
class	CfgSuperReference
class	CfgThisReference
class	CfgUnaryExpression
class	CfgVariable

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

CfgExpression	CfgQuantifiedExpression.body
CfgExpression	CfgConditionalExpression.condition
CfgExpression[]	CfgArrayAllocationExpression.dims
CfgExpression	CfgUnaryExpression.expr
CfgExpression	CfgBinaryExpression.left
CfgExpression	CfgArrayReference.position
CfgExpression	CfgQuantifiedExpression.range
CfgExpression	CfgFieldReference.receiver
CfgExpression	CfgArrayReference.receiver
CfgExpression	CfgBinaryExpression.right
CfgExpression	CfgFieldStore.value
CfgExpression	CfgConditionalExpression.valueIfFalse
CfgExpression	CfgConditionalExpression.valueIfTrue

Methods in org.jmlspecs.jml4.esc.gc.lang.expr that return CfgExpression

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)
static CfgExpression	CfgQuantifiedExpression.asBlock(CfgExpression body, CfgVarDecl[] boundVarDecls)

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

static CfgExpression

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

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

CfgArrayAllocationExpression(int[] ids, CfgExpression[] dims, TypeBinding type, int sourceStart, int sourceEnd)

CfgArrayReference(CfgExpression receiver, CfgExpression position, int incarnation, TypeBinding type, int sourceStart, int sourceEnd)

CfgBinaryExpression(CfgOperator operator, CfgExpression left, CfgExpression right, TypeBinding type, int sourceStart, int sourceEnd)

CfgConditionalExpression(CfgExpression condition, CfgExpression valueIfTrue, CfgExpression valueIfFalse, TypeBinding type, int sourceStart, int sourceEnd)

CfgFieldReference(CfgExpression receiver, java.lang.String field, int incarnation, TypeBinding type, int sourceStart, int sourceEnd)

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

CfgNotExpression(CfgExpression expr, int sourceStart, int sourceEnd)

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

CfgUnaryExpression(CfgExpression expr, int sourceStart, int sourceEnd)

Uses of CfgExpression in org.jmlspecs.jml4.esc.gc.lang.simple

Methods in org.jmlspecs.jml4.esc.gc.lang.simple that return CfgExpression

CfgExpression

SimpleAssignment.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)

Uses of CfgExpression in org.jmlspecs.jml4.esc.gc.lang.simple.expr

Methods in org.jmlspecs.jml4.esc.gc.lang.simple.expr that return CfgExpression

CfgExpression	SimpleVariable.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleThisReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleQuantifiedExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimplePostfixExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleOldExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleNotExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleMessageSend.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleIntegerConstant.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleFieldReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
abstract CfgExpression	SimpleExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleConditionalExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleBooleanConstant.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleBinaryExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleArrayReference.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)
CfgExpression	SimpleArrayAllocationExpression.accept(PassifyVisitor visitor, IncarnationMap incarnationMap)