Package | Description |
---|---|
org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
org.eclipse.ocl.util |
Miscellaneous utilities in support of the OCL parser and environment
implementations.
|
Modifier and Type | Class and Description |
---|---|
class |
AmbiguousLookupException
A specialized
LookupException denoting specifically that the
problem is multiple ambiguous results. |
class |
InvalidLookupException
A specialized
LookupException denoting specifically that the
problem is a single result that is invalid or otherwise unexpected. |
class |
LookupException
Exception indicating a semantic error in looking up a definition, typically
resulting from an ambiguity.
|
Modifier and Type | Method and Description |
---|---|
Variable<C,PM> |
Environment.lookupImplicitSourceForState(List<String> path)
Finds the best-matching implicit variable to use as a source for
the unqualified oclIsInState() invocation with the specified
state qualified name path.
|
S |
Environment.lookupState(C owner,
List<String> path)
Finds the state identified by the specified qualified name path, to
resolve an oclIsInState() operation.
|
void |
OCL.validate(CT constraint)
Validates an OCL constraint, which may have been loaded from some
resource or constructed via the API (perhaps by translation from some
other language).
|
void |
OCL.validate(OCLExpression<C> expression)
Validates an OCL expression, which may have been loaded from some
resource or constructed via the API (perhaps by translation from some
other language).
|
Modifier and Type | Method and Description |
---|---|
static Diagnostic |
OCLUtil.checkForErrors(Environment<?,?,?,?,?,?,?,?,?,?,?,?> env)
Checks whether the specified environment's problem handler has any
diagnostics of error severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
static Diagnostic |
OCLUtil.checkForErrors(ProblemHandler problemHandler)
Checks whether the specified problem handler has any
diagnostics of error severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
static Diagnostic |
OCLUtil.checkForErrorsOrWarnings(Environment<?,?,?,?,?,?,?,?,?,?,?,?> env)
Checks whether the specified environment's problem handler has any
diagnostics of warnings severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
static Diagnostic |
OCLUtil.checkForErrorsOrWarnings(ProblemHandler problemHandler)
Checks whether the specified problem handler has any
diagnostics of warning severity or worse and, if so, throws a semantic
exception encapsulating these diagnostics.
|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.checkMutuallyComparable(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C type1,
C type2,
int opcode)
Deprecated.
Use the
TypeUtil.checkMutuallyComparable(Object, Environment, Object, Object, int)
method, instead |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.commonSuperType(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C type1,
C type2)
Deprecated.
Use the
TypeUtil.commonSuperType(Object, Environment, Object, Object)
method, instead. |
static <PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> |
OCLStandardLibraryUtil.getResultTypeOf(Environment<PK,C,O,P,EL,PM,ST,COA,SSA,CT,CLS,E> env,
C sourceType,
int opcode,
List<? extends TypedElement<C>> args)
Deprecated.
Use the
OCLStandardLibraryUtil.getResultTypeOf(Object, Environment, Object, int, List)
method, instead, which doesn't fail on the first problem |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
TypeUtil.type1AsType2(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
C type1,
C type2)
Deprecated.
Use the
TypeUtil.compatibleTypeMatch(Environment, Object, Object)
method, instead, to check whether the cast is acceptable |
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.