org.eclipse.ocl.examples.domain.library
Interface LibraryIteration

All Superinterfaces:

LibraryFeature

All Known Implementing Classes:

AbstractIteration, AnyIteration, ClosureIteration, CollectIteration, CollectNestedIteration, ExistsIteration, ForAllIteration, IsUniqueIteration, IterateIteration, OneIteration, RejectIteration, SelectIteration, SortedByIteration

public interface LibraryIteration
extends LibraryFeature

Method Summary

Value	createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType) Create the value that will accumulate the iteration results.
Value	evaluateIteration(DomainIterationManager iterationManager) Evaluate the iteration under the supervision of an iterationManager.

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryFeature

getValidator

Method Detail

createAccumulatorValue

Value createAccumulatorValue(DomainEvaluator evaluator,
                             DomainType accumulatorType,
                             DomainType bodyType)
                             throws InvalidValueException

Create the value that will accumulate the iteration results.

Parameters:

evaluator - that supervises evaluation

type - of the accumulator

Returns:

the accumulator

Throws:

InvalidValueException

evaluateIteration

Value evaluateIteration(DomainIterationManager iterationManager)
                        throws InvalidValueException

Evaluate the iteration under the supervision of an iterationManager.

Parameters:

iterationManager - the iteration space

Returns:

the result

Throws:

InvalidValueException - if a body evaluates to invalid