org.eclipse.ocl.pivot.library

Class EvaluatorMultipleIterationManager

java.lang.Object

org.eclipse.ocl.pivot.library.AbstractIterationManager

org.eclipse.ocl.pivot.library.AbstractEvaluatorIterationManager

org.eclipse.ocl.pivot.library.EvaluatorMultipleIterationManager

All Implemented Interfaces:

IterationManager, IterationManager.IterationManagerExtension

public class EvaluatorMultipleIterationManager
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 boolean	hasCurrent
protected AbstractEvaluatorIterationManager.ValueIterator[]	iterators

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

Constructor and Description
EvaluatorMultipleIterationManager(Evaluator invokingExecutor, OCLExpression body, CollectionValue collectionValue, TypedElement accumulator, java.lang.Object accumulatorValue, TypedElement... referredIterators) Deprecated. supply a callExp
EvaluatorMultipleIterationManager(Executor invokingExecutor, CallExp callExp, OCLExpression body, CollectionValue collectionValue, TypedElement accumulator, java.lang.Object accumulatorValue, TypedElement... referredIterators)

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.
java.lang.Object	get(int i)
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

createNestedIterationManager, get, getEvaluator, getExecutor, getStandardLibrary

Methods inherited from class java.lang.Object

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

Field Detail

iterators

protected final AbstractEvaluatorIterationManager.ValueIterator[] iterators

hasCurrent

protected boolean hasCurrent

Constructor Detail

EvaluatorMultipleIterationManager

@Deprecated
public EvaluatorMultipleIterationManager(@NonNull
                                                      Evaluator invokingExecutor,
                                                      @NonNull
                                                      OCLExpression body,
                                                      @NonNull
                                                      CollectionValue collectionValue,
                                                      @Nullable
                                                      TypedElement accumulator,
                                                      @Nullable
                                                      java.lang.Object accumulatorValue,
                                                      TypedElement... referredIterators)

Deprecated. supply a callExp

EvaluatorMultipleIterationManager

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

Since:

1.1

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.

get

@NonNull
public java.lang.Object get(int i)

hasCurrent

public boolean hasCurrent()

Description copied from interface: IterationManager

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