org.eclipse.ocl.pivot.library

Class AbstractIterationManager

java.lang.Object

org.eclipse.ocl.pivot.library.AbstractIterationManager

All Implemented Interfaces:

IterationManager, IterationManager.IterationManagerExtension

Direct Known Subclasses:

AbstractEvaluatorIterationManager, ExecutorDoubleIterationManager, ExecutorSingleIterationManager

public abstract class AbstractIterationManager
extends Object
implements IterationManager.IterationManagerExtension

Nested Class Summary

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

IterationManager.IterationManagerExtension

Constructor Summary

Constructors

Constructor and Description
AbstractIterationManager(Evaluator evaluator) Deprecated. use Executor

Method Summary

Modifier and Type	Method and Description
IterationManager	createNestedIterationManager(CollectionValue value) Create a nested iteration supervisor.
void	dispose()
Object	get() Get the current state of the iterator.
Evaluator	getEvaluator() Deprecated. use getExecutor()
Executor	getExecutor()
StandardLibrary	getStandardLibrary()

Methods inherited from class java.lang.Object

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

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

advanceIterators, evaluateBody, getAccumulatorValue, getSourceCollection, hasCurrent, updateAccumulator

Constructor Detail

AbstractIterationManager

@Deprecated
public AbstractIterationManager(Evaluator evaluator)

Deprecated. use Executor

Method Detail

createNestedIterationManager

public IterationManager createNestedIterationManager(CollectionValue value)

Description copied from interface: IterationManager

Create a nested iteration supervisor.
This method supports the closure iteration for which there is only a single iterator, and so this method need only be supported by single iterator managers.

Specified by:

createNestedIterationManager in interface IterationManager

Parameters:

value - the nested iteration domain

Returns:

the iteration space

dispose

public void dispose()

Specified by:

dispose in interface IterationManager

get

public Object get()

Description copied from interface: IterationManager

Get the current state of the iterator.
This is only supported for single iterator iterations.

Specified by:

get in interface IterationManager

getEvaluator

@Deprecated
public Evaluator getEvaluator()

Deprecated. use getExecutor()

Specified by:

getEvaluator in interface IterationManager

getExecutor

public Executor getExecutor()

Specified by:

getExecutor in interface IterationManager.IterationManagerExtension

Since:

1.1

getStandardLibrary

public StandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in interface IterationManager