org.eclipse.ocl.pivot.internal.library.ecore

Class EcoreExecutorManager

java.lang.Object

org.eclipse.ocl.pivot.internal.library.executor.ExecutorManager

org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorManager

All Implemented Interfaces:

Evaluator, Executor

public class EcoreExecutorManager
extends ExecutorManager

An EcoreExecutorManager instance provides the bridge between a conventional EMF execution context and the richer OCL Pivot concepts. Since the OCL concepts are not needed for simple expressions that make no use of types, the default construction is lightweight deferring construction costs until actually needed.

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.internal.library.executor.ExecutorManager

environment, standardLibrary

Constructor Summary

Constructors

Constructor and Description
EcoreExecutorManager(java.lang.Object contextObject, ExecutorStandardLibrary standardLibrary) Construct an EMF to OCL execution bridge.

Method Summary

Modifier and Type	Method and Description
protected IdResolver	createIdResolver()
Type	getDynamicTypeOf(java.lang.Object value)
IdResolver	getIdResolver()
ModelManager	getModelManager() Return the manager of all model instances for use by allInstances() and hidden opposite support.
int	getSeverity(java.lang.Object validationKey) Return the StatusCodes severity with which the validation identified by validationKey is reported.
ExecutorStandardLibrary	getStandardLibrary()
Class	getStaticTypeOf(java.lang.Object value)
Class	getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
Class	getStaticTypeOf(java.lang.Object value, java.lang.Object... values)

Methods inherited from class org.eclipse.ocl.pivot.internal.library.executor.ExecutorManager

add, createNestedEvaluator, createRegexCache, dispose, evaluate, evaluateIteration, getCompleteEnvironment, getDiagnosticSeverity, getEnvironmentFactory, getEvaluationEnvironment, getLogger, getMetamodelManager, getRegexPattern, isCanceled, popEvaluationEnvironment, pushEvaluationEnvironment, replace, setCanceled, setLogger

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EcoreExecutorManager

public EcoreExecutorManager(@Nullable
                            java.lang.Object contextObject,
                            @NonNull
                            ExecutorStandardLibrary standardLibrary)

Construct an EMF to OCL execution bridge.

The user objects that contribute to allInstances are determined from the contents of all resources in the ResourceSet containing the user object (which should be an EObject).

The user meta-models are determined from the eClass()'s of all user objects and the transitive closure of all references.

Since determination of the domain of user models and meta-models can be expensive, the EcoreExecutorManager is cached for re-use as an adapter on the contextObject's ResourceSet.

Parameters:

contextObject - a user object from which the user objects and their meta-models will be deduced

standardLibrary - the OCL facilities

Method Detail

createIdResolver

@NonNull
protected IdResolver createIdResolver()

getDynamicTypeOf

@NonNull
public Type getDynamicTypeOf(@Nullable
                                       java.lang.Object value)

Overrides:

getDynamicTypeOf in class ExecutorManager

getIdResolver

@NonNull
public IdResolver getIdResolver()

getModelManager

@NonNull
public ModelManager getModelManager()

Description copied from interface: Evaluator

Return the manager of all model instances for use by allInstances() and hidden opposite support.

getSeverity

public int getSeverity(@Nullable
                       java.lang.Object validationKey)

Description copied from interface: Evaluator

Return the StatusCodes severity with which the validation identified by validationKey is reported. The validationKey is typically a string such as "ClassName::ConstraintName" for which static literals are available in an autogenerated *Table file as STR_Classname_c_c_ConstraintName.

StatusCodes.OK severity suppresses the validation altogether.
StatusCodes.Warning is returned for any null or unknown key.

Specified by:

getSeverity in interface Evaluator

Specified by:

getSeverity in interface Executor

Overrides:

getSeverity in class ExecutorManager

getStandardLibrary

@NonNull
public ExecutorStandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in interface Evaluator

Specified by:

getStandardLibrary in interface Executor

Overrides:

getStandardLibrary in class ExecutorManager

getStaticTypeOf

public Class getStaticTypeOf(@Nullable
                             java.lang.Object value)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

Overrides:

getStaticTypeOf in class ExecutorManager

getStaticTypeOf

public Class getStaticTypeOf(@Nullable
                             java.lang.Object value,
                             @NonNull
                             java.lang.Object... values)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

Overrides:

getStaticTypeOf in class ExecutorManager

getStaticTypeOf

public Class getStaticTypeOf(@Nullable
                             java.lang.Object value,
                             @NonNull
                             java.lang.Iterable<?> values)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

Overrides:

getStaticTypeOf in class ExecutorManager