org.eclipse.ocl.pivot.internal.manager

Class PivotExecutorManager

java.lang.Object

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

org.eclipse.ocl.pivot.internal.manager.PivotExecutorManager

All Implemented Interfaces:

Evaluator, Executor, Executor.ExecutorExtension

public class PivotExecutorManager
extends ExecutorManager

A PivotExecutorManager 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.

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.evaluation.Executor

Executor.ExecutorExtension

Constructor Summary

Constructors

Constructor and Description
PivotExecutorManager(EnvironmentFactory environmentFactory, EObject contextObject)

Method Summary

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

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

add, createNestedEvaluator, dispose, evaluate, evaluateIteration, getCompleteEnvironment, getDiagnosticSeverity, getEvaluationEnvironment, getLogger, getRegexPattern, getStandardLibrary, isCanceled, popEvaluationEnvironment, pushEvaluationEnvironment, pushEvaluationEnvironment, replace, resetCaches, setCanceled, setLogger

Methods inherited from class java.lang.Object

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

Constructor Detail

PivotExecutorManager

public PivotExecutorManager(EnvironmentFactory environmentFactory,
                            EObject contextObject)

Method Detail

getDynamicTypeOf

public Type getDynamicTypeOf(Object value)

Overrides:

getDynamicTypeOf in class ExecutorManager

getEnvironmentFactory

public EnvironmentFactory getEnvironmentFactory()

Specified by:

getEnvironmentFactory in interface Executor

Overrides:

getEnvironmentFactory in class ExecutorManager

Since:

1.1

getIdResolver

public IdResolver getIdResolver()

getMetamodelManager

public MetamodelManager getMetamodelManager()

Specified by:

getMetamodelManager in interface Executor

Overrides:

getMetamodelManager in class ExecutorManager

getModelManager

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

getStaticTypeOf

public Class getStaticTypeOf(Object value)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

Overrides:

getStaticTypeOf in class ExecutorManager

getStaticTypeOf

public Class getStaticTypeOf(Object value,
                             Object... values)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

Overrides:

getStaticTypeOf in class ExecutorManager

getStaticTypeOf

public Class getStaticTypeOf(Object value,
                             Iterable<?> values)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

Overrides:

getStaticTypeOf in class ExecutorManager