Uses of Class org.eclipse.ocl.SemanticException (OCL Javadoc)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

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.
`Variable<C,PM>`	`AbstractEnvironment.lookupImplicitSourceForState(List<String> path)`
`S`	`Environment.lookupState(C owner, List<String> path)` Finds the state identified by the specified qualified name path, to resolve an `oclIsInState()` operation.
`S`	`AbstractEnvironment.lookupState(C owner, List<String> path)`
`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



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

Checks whether two types are mutually comparable in the determination of the applicability = and <> operations.

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)

Get the common supertype of two types.

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)

Obtains the result type of the specified operation from the OCL Standard Library.

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)

Casts a value of one type as another type, if compatible.