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, OnlyIteration, RejectIteration, SelectIteration, SortedByIteration
public interface LibraryIteration
- extends LibraryFeature
createAccumulatorValue
@NonNull
java.lang.Object createAccumulatorValue(@NonNull
DomainEvaluator evaluator,
@NonNull
TypeId accumulatorTypeId,
@NonNull
TypeId bodyTypeId)
- Create the value that will accumulate the iteration results.
evaluateIteration
@Nullable
java.lang.Object evaluateIteration(@NonNull
DomainIterationManager iterationManager)
- Evaluate the iteration under the supervision of an iterationManager.
- Parameters:
iterationManager
- the iteration space
- Returns:
- the result
- Throws:
java.lang.Exception
InvalidValueException
- if a body evaluates to invalid