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

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

All Implemented Interfaces:

DomainEvaluator, MetaModelManageable

public class PivotExecutorManager
extends ExecutorManager
implements MetaModelManageable

Field Summary

protected MetaModelManager

metaModelManager

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

valueFactory

Constructor Summary

PivotExecutorManager(MetaModelManager metaModelManager)

Method Summary

DomainEvaluator	createNestedEvaluator()
MetaModelManager	getMetaModelManager()

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

evaluate, evaluateIteration, getEvaluationEnvironment, getEvaluationVisitor, getModelManager, 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

PivotExecutorManager

public PivotExecutorManager(MetaModelManager metaModelManager)

Method Detail

createNestedEvaluator

public DomainEvaluator createNestedEvaluator()

Specified by:

createNestedEvaluator in interface DomainEvaluator

getMetaModelManager

public MetaModelManager getMetaModelManager()

Specified by:

getMetaModelManager in interface MetaModelManageable