public class ForAllIteration extends AbstractIteration
Modifier and Type | Field and Description |
---|---|
static ForAllIteration |
INSTANCE |
CARRY_ON
EMPTY_BAG, EMPTY_SET, FALSE_VALUE, INTEGER_MAX_VALUE, INTEGER_MIN_VALUE, INVALID_VALUE, LONG_MAX_VALUE, LONG_MIN_VALUE, NULL_STRING, NULL_VALUE, ONE_VALUE, TRUE_VALUE, UNLIMITED_VALUE, ZERO_VALUE
Constructor and Description |
---|
ForAllIteration() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
createAccumulatorValue(DomainEvaluator evaluator,
TypeId accumulatorTypeId,
TypeId bodyTypeId)
Create the value that will accumulate the iteration results.
|
protected java.lang.Object |
updateAccumulator(DomainIterationManager iterationManager)
Update the accumulatorValue with the bodyValue resulting from the current iteration
for which the iterators define the context in the environment.
|
evaluateIteration, resolveTerminalValue
asBagValue, asBoolean, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asNavigableObject, asObject, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, createBagAccumulatorValue, createBagOfEach, createBagRange, createBagValue, createCollectionAccumulatorValue, createInvalidValue, createObjectValue, createOrderedSetAccumulatorValue, createOrderedSetOfEach, createOrderedSetRange, createOrderedSetValue, createRange, createSequenceAccumulatorValue, createSequenceOfEach, createSequenceRange, createSequenceRange, createSequenceValue, createSetAccumulatorValue, createSetOfEach, createSetRange, createSetValue, createTupleOfEach, createTupleValue, createTupleValue, createTypeValue, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isIntegerValue, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, throwInvalidValueException, toString
@NonNull public static final ForAllIteration INSTANCE
@NonNull public java.lang.Object createAccumulatorValue(@NonNull DomainEvaluator evaluator, @NonNull TypeId accumulatorTypeId, @NonNull TypeId bodyTypeId)
LibraryIteration
evaluator
- that supervises evaluation@Nullable protected java.lang.Object updateAccumulator(@NonNull DomainIterationManager iterationManager)
AbstractIteration
updateAccumulator
in class AbstractIteration
iterationManager
- the iteration context