org.eclipse.ocl.examples.pivot.executor
Class PivotEcoreExecutorManager

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

All Implemented Interfaces:

DomainEvaluator, MetaModelManageable

public class PivotEcoreExecutorManager
extends EcoreExecutorManager
implements MetaModelManageable

Field Summary

protected MetaModelManager

metaModelManager

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

valueFactory

Constructor Summary

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

Method Summary

MetaModelManager

getMetaModelManager()

Methods inherited from class org.eclipse.ocl.examples.library.ecore.EcoreExecutorManager

createNestedEvaluator, getModelManager, getValueFactory

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

Field Detail

metaModelManager

protected final MetaModelManager metaModelManager

Constructor Detail

PivotEcoreExecutorManager

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

Method Detail

getMetaModelManager

public MetaModelManager getMetaModelManager()

Specified by:

getMetaModelManager in interface MetaModelManageable