## 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

Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved.