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

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.

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.emf.ecore.EObject	contextObject
protected EnvironmentFactory	environmentFactory
protected IdResolver	idResolver

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

environment, standardLibrary

Constructor Summary

Constructors

Constructor and Description
PivotExecutorManager(EnvironmentFactory environmentFactory, org.eclipse.emf.ecore.EObject contextObject)

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.
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, getStandardLibrary, isCanceled, popEvaluationEnvironment, pushEvaluationEnvironment, replace, setCanceled, setLogger

Methods inherited from class java.lang.Object

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

Field Detail

environmentFactory

@NonNull
protected final EnvironmentFactory environmentFactory

idResolver

@NonNull
protected final IdResolver idResolver

contextObject

@NonNull
protected final org.eclipse.emf.ecore.EObject contextObject

Constructor Detail

PivotExecutorManager

public PivotExecutorManager(@NonNull
                            EnvironmentFactory environmentFactory,
                            @NonNull
                            org.eclipse.emf.ecore.EObject contextObject)

Method Detail

createIdResolver

@NonNull
protected IdResolver createIdResolver()

getDynamicTypeOf

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

Overrides:

getDynamicTypeOf in class ExecutorManager

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.

getIdResolver

@NonNull
public IdResolver getIdResolver()

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

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