|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SemanticException | |
---|---|
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. |
Uses of SemanticException in org.eclipse.ocl |
---|
Subclasses of SemanticException in org.eclipse.ocl | |
---|---|
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. |
Methods in org.eclipse.ocl that throw SemanticException | |
---|---|
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). |
Uses of SemanticException in org.eclipse.ocl.util |
---|
Methods in org.eclipse.ocl.util that throw SemanticException | ||
---|---|---|
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
|
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
|
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
|
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
|
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 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
PREV NEXT | FRAMES NO FRAMES |