org.eclipse.ocl.pivot.library

Class EvaluatorSingleIterationManager

java.lang.Object

org.eclipse.ocl.pivot.library.AbstractIterationManager

org.eclipse.ocl.pivot.library.AbstractEvaluatorIterationManager

org.eclipse.ocl.pivot.library.EvaluatorSingleIterationManager

All Implemented Interfaces:

IterationManager, IterationManager.IterationManagerExtension

public class EvaluatorSingleIterationManager
extends AbstractEvaluatorIterationManager

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.library.AbstractEvaluatorIterationManager

AbstractEvaluatorIterationManager.ValueIterator

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

IterationManager.IterationManagerExtension

Field Summary

Fields

Modifier and Type	Field and Description
protected AbstractEvaluatorIterationManager.ValueIterator	iterator
protected TypedElement	referredIterator

Fields inherited from class org.eclipse.ocl.pivot.library.AbstractEvaluatorIterationManager

accumulatorVariable, body, callExp, collectionValue

Fields inherited from class org.eclipse.ocl.pivot.library.AbstractIterationManager

evaluator, executor

Constructor Summary

Constructors

Modifier	Constructor and Description
	EvaluatorSingleIterationManager(Evaluator invokingEvaluator, OCLExpression body, CollectionValue collectionValue, TypedElement accumulator, java.lang.Object accumulatorValue, TypedElement referredIterator) Deprecated. supply a callExp
protected	EvaluatorSingleIterationManager(EvaluatorSingleIterationManager iterationManager, CollectionValue value)
	EvaluatorSingleIterationManager(Executor invokingExecutor, CallExp callExp, OCLExpression body, CollectionValue collectionValue, TypedElement accumulator, java.lang.Object accumulatorValue, TypedElement referredIterator)

Method Summary

Modifier and Type	Method and Description
boolean	advanceIterators() Advance the iterators to the next iteration, returning false once all possible iterator states have been exhausted.
IterationManager	createNestedIterationManager(CollectionValue value) Create a nested iteration supervisor.
java.lang.Object	get() Get the current state of the iterator.
int	getDepth()
EvaluatorSingleIterationManager	getRootIterationManager()
boolean	hasCurrent() Return true if the iterators have a step to be evaluated.

Methods inherited from class org.eclipse.ocl.pivot.library.AbstractEvaluatorIterationManager

createIterators, createIterators, dispose, evaluateBody, getAccumulatorValue, getCollectionValue, getEvaluationEnvironment, getSourceCollection, toString, updateAccumulator

Methods inherited from class org.eclipse.ocl.pivot.library.AbstractIterationManager

getEvaluator, getExecutor, getStandardLibrary

Methods inherited from class java.lang.Object

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

Field Detail

referredIterator

@NonNull
protected final TypedElement referredIterator

iterator

@NonNull
protected final AbstractEvaluatorIterationManager.ValueIterator iterator

Constructor Detail

EvaluatorSingleIterationManager

@Deprecated
public EvaluatorSingleIterationManager(@NonNull
                                                    Evaluator invokingEvaluator,
                                                    @NonNull
                                                    OCLExpression body,
                                                    @NonNull
                                                    CollectionValue collectionValue,
                                                    @Nullable
                                                    TypedElement accumulator,
                                                    @Nullable
                                                    java.lang.Object accumulatorValue,
                                                    @NonNull
                                                    TypedElement referredIterator)

Deprecated. supply a callExp

EvaluatorSingleIterationManager

public EvaluatorSingleIterationManager(@NonNull
                                       Executor invokingExecutor,
                                       CallExp callExp,
                                       @NonNull
                                       OCLExpression body,
                                       @NonNull
                                       CollectionValue collectionValue,
                                       @Nullable
                                       TypedElement accumulator,
                                       @Nullable
                                       java.lang.Object accumulatorValue,
                                       @NonNull
                                       TypedElement referredIterator)

Since:

1.1

EvaluatorSingleIterationManager

protected EvaluatorSingleIterationManager(@NonNull
                                          EvaluatorSingleIterationManager iterationManager,
                                          @NonNull
                                          CollectionValue value)

Method Detail

advanceIterators

public boolean advanceIterators()

Description copied from interface: IterationManager

Advance the iterators to the next iteration, returning false once all possible iterator states have been exhausted.

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

Overrides:

createNestedIterationManager in class AbstractIterationManager

Parameters:

value - the nested iteration domain

Returns:

the iteration space

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

Overrides:

get in class AbstractIterationManager

getDepth

public int getDepth()

getRootIterationManager

@NonNull
public EvaluatorSingleIterationManager getRootIterationManager()

hasCurrent

public boolean hasCurrent()

Description copied from interface: IterationManager

Return true if the iterators have a step to be evaluated.