org.eclipse.ocl.examples.library.iterator
Class CollectIteration
java.lang.Object
org.eclipse.ocl.examples.domain.library.AbstractFeature
org.eclipse.ocl.examples.domain.library.AbstractIteration
org.eclipse.ocl.examples.library.iterator.CollectIteration
- All Implemented Interfaces:
- LibraryFeature, LibraryIteration
public class CollectIteration
- extends AbstractIteration
CollectIteration realizes the Collection::collect() library iteration.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final CollectIteration INSTANCE
CollectIteration
public CollectIteration()
createAccumulatorValue
public CollectionValue.Accumulator createAccumulatorValue(DomainEvaluator evaluator,
DomainType accumulatorType,
DomainType bodyType)
- Description copied from interface:
LibraryIteration
- Create the value that will accumulate the iteration results.
- Parameters:
evaluator
- that supervises evaluation
- Returns:
- the accumulator
updateAccumulator
protected Value updateAccumulator(DomainIterationManager iterationManager)
- Description copied from class:
AbstractIteration
- Update the accumulatorValue with the bodyValue resulting from the current iteration
for which the iterators define the context in the environment.
- Specified by:
updateAccumulator
in class AbstractIteration
- Parameters:
iterationManager
- the iteration context
- Returns:
- non-null premature result of iteration, or null if complete