|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.ocl.examples.library.AbstractFeature org.eclipse.ocl.examples.library.AbstractIteration<CollectionValue.Accumulator> org.eclipse.ocl.examples.library.iterator.SelectIteration
public class SelectIteration
SelectIteration realises the Collection::select() library iteration.
Field Summary | |
---|---|
static SelectIteration |
INSTANCE
|
Constructor Summary | |
---|---|
SelectIteration()
|
Method Summary | |
---|---|
Value |
evaluate(EvaluationVisitor evaluationVisitor,
CollectionValue sourceVal,
LoopExp iteratorExp)
Return the result of evaluating iterationCall upon sourceVal within the environment provided by EvaluationVisitor. |
protected Value |
updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
Update the accumulatorValue with the bodyValue resulting from the current iteration for which the iterators define the context in the environment. |
Methods inherited from class org.eclipse.ocl.examples.library.AbstractIteration |
---|
createAccumulationValue, evaluate, evaluateIteration, resolveTerminalValue |
Methods inherited from class org.eclipse.ocl.examples.library.AbstractFeature |
---|
validate |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.CallableImplementation |
---|
validate |
Field Detail |
---|
public static final SelectIteration INSTANCE
Constructor Detail |
---|
public SelectIteration()
Method Detail |
---|
public Value evaluate(EvaluationVisitor evaluationVisitor, CollectionValue sourceVal, LoopExp iteratorExp)
LibraryIteration
evaluationVisitor
- the evaluation contextsourceVal
- the source operand for the operationiteratorExp
- the iteration and additional arguments
protected Value updateAccumulator(IterationManager<CollectionValue.Accumulator> iterationManager)
AbstractIteration
updateAccumulator
in class AbstractIteration<CollectionValue.Accumulator>
iterationManager
- the iteration context
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |