org.eclipse.ocl.examples.domain.library
Class EvaluatorMultipleIterationManager

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.library.AbstractIterationManager
      extended by org.eclipse.ocl.examples.domain.library.EvaluatorIterationManager
          extended by org.eclipse.ocl.examples.domain.library.EvaluatorMultipleIterationManager
All Implemented Interfaces:
DomainIterationManager

public class EvaluatorMultipleIterationManager
extends EvaluatorIterationManager


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.library.EvaluatorIterationManager
EvaluatorIterationManager.ValueIterator
 
Field Summary
protected  boolean hasCurrent
           
protected  EvaluatorIterationManager.ValueIterator[] iterators
           
 
Fields inherited from class org.eclipse.ocl.examples.domain.library.EvaluatorIterationManager
accumulatorVariable, body, collectionValue
 
Fields inherited from class org.eclipse.ocl.examples.domain.library.AbstractIterationManager
evaluator
 
Constructor Summary
EvaluatorMultipleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, java.lang.Object accumulatorValue, DomainTypedElement... referredIterators)
           
 
Method Summary
 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.examples.domain.library.EvaluatorIterationManager
createIterators, evaluateBody, getAccumulatorValue, getCollectionValue, getEvaluationEnvironment, getSourceCollection, toString, updateAccumulator
 
Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractIterationManager
createNestedIterationManager, get, getEvaluator, getStandardLibrary, isOuterIteration
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

iterators

protected final EvaluatorIterationManager.ValueIterator[] iterators

hasCurrent

protected boolean hasCurrent
Constructor Detail

EvaluatorMultipleIterationManager

public EvaluatorMultipleIterationManager(@NonNull
                                         DomainEvaluator invokingEvaluator,
                                         @NonNull
                                         DomainExpression body,
                                         @NonNull
                                         CollectionValue collectionValue,
                                         @Nullable
                                         DomainTypedElement accumulator,
                                         @Nullable
                                         java.lang.Object accumulatorValue,
                                         DomainTypedElement... referredIterators)
Method Detail

advanceIterators

public boolean advanceIterators()
Description copied from interface: DomainIterationManager
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: DomainIterationManager
Return true if the iterators have a step to be evaluated.