org.eclipse.ocl.examples.library.iterator
Class RejectIteration

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractIteration
          org.eclipse.ocl.examples.library.iterator.RejectIteration

All Implemented Interfaces:

LibraryFeature, LibraryIteration

public class RejectIteration
extends AbstractIteration

RejectIteration realizes the Collection::reject() library iteration.

Field Summary

static RejectIteration

INSTANCE

Constructor Summary

RejectIteration()

Method Summary

CollectionValue.Accumulator	createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType) Create the value that will accumulate the iteration results.
protected Value	updateAccumulator(DomainIterationManager iterationManager) Update the accumulatorValue with the bodyValue resulting from the current iteration for which the iterators define the context in the environment.

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractIteration

evaluateIteration, resolveTerminalValue

Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractFeature

getLibraryValidator, getValidator

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.examples.domain.library.LibraryFeature

getValidator

Field Detail

INSTANCE

public static final RejectIteration INSTANCE

Constructor Detail

RejectIteration

public RejectIteration()

Method Detail

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