Package | Description |
---|---|
org.eclipse.ocl.pivot.evaluation | |
org.eclipse.ocl.pivot.internal.library.executor | |
org.eclipse.ocl.pivot.library | |
org.eclipse.ocl.pivot.library.iterator |
Modifier and Type | Interface and Description |
---|---|
static interface |
IterationManager.IterationManagerExtension |
Modifier and Type | Method and Description |
---|---|
IterationManager |
IterationManager.createNestedIterationManager(CollectionValue value)
Create a nested iteration supervisor.
|
Modifier and Type | Class and Description |
---|---|
class |
ExecutorDoubleIterationManager |
class |
ExecutorSingleIterationManager |
Modifier and Type | Method and Description |
---|---|
IterationManager |
ExecutorSingleIterationManager.createNestedIterationManager(CollectionValue value) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractEvaluatorIterationManager |
class |
AbstractIterationManager |
class |
EvaluatorMultipleIterationManager |
class |
EvaluatorSingleIterationManager |
Modifier and Type | Method and Description |
---|---|
IterationManager |
AbstractIterationManager.createNestedIterationManager(CollectionValue value) |
IterationManager |
EvaluatorSingleIterationManager.createNestedIterationManager(CollectionValue value) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
AbstractIteration.evaluateIteration(IterationManager iterationManager)
The default iteration algorithm steps through the iteration domain by invoking
hasCurrent() and advanceIterators() . |
java.lang.Object |
LibraryIteration.evaluateIteration(IterationManager iterationManager)
Evaluate the iteration under the supervision of an iterationManager.
|
protected java.lang.Object |
AbstractIteration.resolveTerminalValue(IterationManager iterationManager)
Return the final result at the end of an iteration over all the source elements.
|
protected abstract java.lang.Object |
AbstractIteration.updateAccumulator(IterationManager iterationManager)
Update the accumulatorValue with the bodyValue resulting from the current iteration
for which the iterators define the context in the environment.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.Object |
AnyIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
ExistsIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
ForAllIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
IsUniqueIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
OneIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
OnlyIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
SortedByIteration.resolveTerminalValue(IterationManager iterationManager) |
protected java.lang.Object |
AnyIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
ClosureIteration.updateAccumulator(IterationManager iterationManager)
Recursively evaluates the iterator body expression.
|
protected java.lang.Object |
CollectIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
CollectNestedIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
ExistsIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
ForAllIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
IsUniqueIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
IterateIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
OneIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
OnlyIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
RejectIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
SelectIteration.updateAccumulator(IterationManager iterationManager) |
protected java.lang.Object |
SortedByIteration.updateAccumulator(IterationManager iterationManager) |