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

Packages that use KindOfAssertion

org.jmlspecs.jml4.esc.gc.lang
org.jmlspecs.jml4.esc.gc.lang.simple
org.jmlspecs.jml4.esc.gc.lang.sugared
org.jmlspecs.jml4.esc.result.lang
org.jmlspecs.jml4.esc.vc.lang

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

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

static KindOfAssertion	KindOfAssertion.ASSERT
static KindOfAssertion	KindOfAssertion.INVARIANT
KindOfAssertion	CfgAssert.kind
static KindOfAssertion	KindOfAssertion.LOOP_INVAR
static KindOfAssertion	KindOfAssertion.LOOP_INVAR_PRE
static KindOfAssertion	KindOfAssertion.LOOP_VAR
static KindOfAssertion	KindOfAssertion.POST
static KindOfAssertion	KindOfAssertion.PRE
static KindOfAssertion	KindOfAssertion.UNKNOWN

Methods in org.jmlspecs.jml4.esc.gc.lang that return KindOfAssertion

static KindOfAssertion[]	KindOfAssertion.all()
static KindOfAssertion	KindOfAssertion.fromString(java.lang.String labelName)

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

CfgAssert(CfgExpression pred, KindOfAssertion kind, int sourceStart)

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

Fields in org.jmlspecs.jml4.esc.gc.lang.simple declared as KindOfAssertion

KindOfAssertion

SimpleAssert.kind

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

SimpleAssert(SimpleExpression pred, KindOfAssertion kind, int sourceStart)

Uses of KindOfAssertion in org.jmlspecs.jml4.esc.gc.lang.sugared

Fields in org.jmlspecs.jml4.esc.gc.lang.sugared declared as KindOfAssertion

KindOfAssertion

SugaredAssert.kind

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

SugaredAssert(SugaredExpression pred, KindOfAssertion kind, int sourceStart)

Uses of KindOfAssertion in org.jmlspecs.jml4.esc.result.lang

Methods in org.jmlspecs.jml4.esc.result.lang that return KindOfAssertion

KindOfAssertion

Result.kindOfAssertion()

Constructors in org.jmlspecs.jml4.esc.result.lang with parameters of type KindOfAssertion

Result(KindOfAssertion kindOfAssertion, int assertionPosition, int failedExprStart, int failedExprEnd)

Uses of KindOfAssertion in org.jmlspecs.jml4.esc.vc.lang

Methods in org.jmlspecs.jml4.esc.vc.lang that return KindOfAssertion

KindOfAssertion

VC.kindOfAssertion()

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

void	VC.setLabel(KindOfAssertion kindOfAssertion, int kindOfLabel, int labelStart)

Constructors in org.jmlspecs.jml4.esc.vc.lang with parameters of type KindOfAssertion

VC(TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcAnd(VC left, VC right, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcArithExpression(VcOperator operator, VC left, VC right, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcArrayAllocationExpression(int[] ids, VC[] dims, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcArrayReference(VC receiver, VC position, int incarnation, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcBinaryExpression(VC left, VC right, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcBooleanConstant(boolean value, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcConditionalExpression(VC condition, VC valueIfTrue, VC valueIfFalse, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcFieldReference(VC receiver, java.lang.String field, int incarnation, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcFieldStore(VcFieldReference field, int oldIncarnation, int newIncarnation, VC value, KindOfAssertion kindOfAssertion, int kindOfLabel, int labelStart)

VcIntegerConstant(int value, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcLogicalExpression(VcOperator operator, VC left, VC right, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcNot(VC vc, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcOr(VC left, VC right, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcQuantifiedExpression(VcQuantifier quantifier, VC range, VC body, TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcRelativeExpression(VcOperator operator, VC left, VC right, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcSuperReference(TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)

VcThisReference(TypeBinding type, KindOfAssertion kindOfAssertion, int kindOfLabel, int sourceStart, int sourceEnd, int labelStart)