Uses of Class
org.eclipse.ocl.SemanticException

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 <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> void	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> C	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> C	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> boolean	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