Uses of Class
org.jmlspecs.jml4.esc.vc.lang.VcOperator

Packages that use VcOperator

org.jmlspecs.jml4.esc.vc.lang

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

Fields in org.jmlspecs.jml4.esc.vc.lang declared as VcOperator

static VcOperator	VcOperator.DIVIDE
static VcOperator	VcOperator.EQUALS
static VcOperator	VcOperator.EQUIV
static VcOperator	VcOperator.GREATER
static VcOperator	VcOperator.GREATER_EQUALS
static VcOperator	VcOperator.IMPLIES
static VcOperator	VcOperator.LESS
static VcOperator	VcOperator.LESS_EQUALS
static VcOperator	VcOperator.MINUS
static VcOperator	VcOperator.NOT_EQUALS
static VcOperator	VcOperator.NOT_EQUIV
VcOperator	VcRelativeExpression.operator
VcOperator	VcLogicalExpression.operator
VcOperator	VcArithExpression.operator
static VcOperator	VcOperator.PLUS
static VcOperator	VcOperator.REMAINDER
static VcOperator	VcOperator.TIMES

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

VcArithExpression(VcOperator operator, VC left, VC right, TypeBinding type, int sourceStart, int sourceEnd)

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

VcLogicalExpression(VcOperator operator, VC left, VC right, int sourceStart, int sourceEnd)

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

VcRelativeExpression(VcOperator operator, VC left, VC right, int sourceStart, int sourceEnd)

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