org.eclipse.ocl.pivot.evaluation

Interface IterationManager.IterationManagerExtension

All Superinterfaces:

IterationManager

All Known Implementing Classes:

AbstractEvaluatorIterationManager, AbstractIterationManager, EvaluatorMultipleIterationManager, EvaluatorSingleIterationManager, ExecutorDoubleIterationManager, ExecutorSingleIterationManager

Enclosing interface:

IterationManager

public static interface IterationManager.IterationManagerExtension
extends IterationManager

Since:

1.1

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.evaluation.IterationManager

IterationManager.IterationManagerExtension

Method Summary

Modifier and Type	Method and Description
Executor	getExecutor()

Methods inherited from interface org.eclipse.ocl.pivot.evaluation.IterationManager

advanceIterators, createNestedIterationManager, dispose, evaluateBody, get, getAccumulatorValue, getEvaluator, getSourceCollection, getStandardLibrary, hasCurrent, updateAccumulator

Method Detail

getExecutor

Executor getExecutor()