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
createAccumulatorValue
Value createAccumulatorValue(DomainEvaluator evaluator,
DomainType accumulatorType,
DomainType bodyType)
throws InvalidValueException
- Create the value that will accumulate the iteration results.
- Parameters:
evaluator
- that supervises evaluationtype
- 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