org.eclipse.ocl.examples.library.ecore
Class EcoreExecutorManager

java.lang.Object
  org.eclipse.ocl.examples.library.executor.ExecutorManager
      org.eclipse.ocl.examples.library.ecore.EcoreExecutorManager

All Implemented Interfaces:

DomainEvaluator

Direct Known Subclasses:

PivotEcoreExecutorManager

public class EcoreExecutorManager
extends ExecutorManager

Field Summary

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

valueFactory

Constructor Summary

EcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject, DomainStandardLibrary standardLibrary)

EcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap, DomainStandardLibrary standardLibrary)

Method Summary

DomainEvaluator	createNestedEvaluator()
DomainModelManager	getModelManager() Return the manager of all model instances for use by allInstances() and hidden opposite support.
protected static ValueFactory	getValueFactory(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap, DomainStandardLibrary standardLibrary)

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

evaluate, evaluateIteration, getEvaluationEnvironment, getEvaluationVisitor, getValueFactory, isCanceled, setCanceled, throwInvalidEvaluation, throwInvalidEvaluation, typeOf

Methods inherited from class java.lang.Object

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

Constructor Detail

EcoreExecutorManager

public EcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject,
                            DomainStandardLibrary standardLibrary)

EcoreExecutorManager

public EcoreExecutorManager(org.eclipse.emf.ecore.EObject contextObject,
                            java.util.Map<java.lang.Object,java.lang.Object> contextMap,
                            DomainStandardLibrary standardLibrary)

Method Detail

getValueFactory

protected static ValueFactory getValueFactory(org.eclipse.emf.ecore.EObject contextObject,
                                              java.util.Map<java.lang.Object,java.lang.Object> contextMap,
                                              DomainStandardLibrary standardLibrary)

createNestedEvaluator

public DomainEvaluator createNestedEvaluator()

getModelManager

public DomainModelManager getModelManager()

Description copied from interface: DomainEvaluator

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

Specified by:

getModelManager in interface DomainEvaluator

Overrides:

getModelManager in class ExecutorManager