org.eclipse.ocl.examples.pivot.manager
Class PivotExecutorManager

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorManager
      org.eclipse.ocl.examples.pivot.manager.PivotExecutorManager

All Implemented Interfaces:

DomainEvaluator

public class PivotExecutorManager
extends ExecutorManager

n 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

protected org.eclipse.emf.ecore.EObject	contextObject
protected PivotIdResolver	idResolver

Fields inherited from class org.eclipse.ocl.examples.library.executor.ExecutorManager

standardLibrary

Constructor Summary

PivotExecutorManager(MetaModelManager metaModelManager, org.eclipse.emf.ecore.EObject contextObject)

Method Summary

protected IdResolver	createIdResolver()
DomainEvaluator	createNestedEvaluator()
DomainType	getDynamicTypeOf(java.lang.Object value)
IdResolver	getIdResolver()
DomainModelManager	getModelManager() Return the manager of all model instances for use by allInstances() and hidden opposite support.
DomainType	getStaticTypeOf(java.lang.Object value)
DomainType	getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
DomainType	getStaticTypeOf(java.lang.Object value, java.lang.Object... values)

Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutorManager

createRegexCache, dispose, evaluate, evaluateIteration, getEvaluationEnvironment, getLogger, getRegexPattern, getStandardLibrary, isCanceled, setCanceled, setLogger

Methods inherited from class java.lang.Object

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

Field Detail

idResolver

@NonNull
protected final PivotIdResolver idResolver

contextObject

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

Constructor Detail

PivotExecutorManager

public PivotExecutorManager(@NonNull
                            MetaModelManager metaModelManager,
                            @NonNull
                            org.eclipse.emf.ecore.EObject contextObject)

Method Detail

createIdResolver

@NonNull
protected IdResolver createIdResolver()

createNestedEvaluator

@NonNull
public DomainEvaluator createNestedEvaluator()

getDynamicTypeOf

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

Overrides:

getDynamicTypeOf in class ExecutorManager

getModelManager

@NonNull
public DomainModelManager getModelManager()

Description copied from interface: DomainEvaluator

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

getIdResolver

@NonNull
public IdResolver getIdResolver()

getStaticTypeOf

@NonNull
public DomainType getStaticTypeOf(@Nullable
                                          java.lang.Object value)

Specified by:

getStaticTypeOf in interface DomainEvaluator

Overrides:

getStaticTypeOf in class ExecutorManager

getStaticTypeOf

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

Specified by:

getStaticTypeOf in interface DomainEvaluator

Overrides:

getStaticTypeOf in class ExecutorManager

getStaticTypeOf

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

Specified by:

getStaticTypeOf in interface DomainEvaluator

Overrides:

getStaticTypeOf in class ExecutorManager