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 java.lang.Object
implements IterationManager.IterationManagerExtension

Nested Class Summary

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

IterationManager.IterationManagerExtension

Field Summary

Fields

Modifier and Type	Field and Description
protected Evaluator	evaluator Deprecated. use executor
protected Executor	executor

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
IterationManager	createNestedIterationManager(CollectionValue value) Create a nested iteration supervisor.
void	dispose()
java.lang.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

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

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

advanceIterators, evaluateBody, getAccumulatorValue, getSourceCollection, hasCurrent, updateAccumulator

Field Detail

executor

@NonNull
protected final Executor executor

Since:

1.1

evaluator

@Deprecated
 @NonNull
protected final Evaluator evaluator

Deprecated. use executor

Constructor Detail

AbstractIterationManager

@Deprecated
public AbstractIterationManager(@NonNull
                                             Evaluator evaluator)

Deprecated. use Executor

AbstractIterationManager

protected AbstractIterationManager(@NonNull
                                   Executor executor)

Since:

1.1

Method Detail

createNestedIterationManager

@NonNull
public IterationManager createNestedIterationManager(@NonNull
                                                               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

@Nullable
public java.lang.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
 @NonNull
public Evaluator getEvaluator()

Deprecated. use getExecutor()

Specified by:

getEvaluator in interface IterationManager

getExecutor

@NonNull
public Executor getExecutor()

Specified by:

getExecutor in interface IterationManager.IterationManagerExtension

Since:

1.1

getStandardLibrary

@NonNull
public StandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in interface IterationManager