public class IteratorSourcePropagationStrategy extends DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator
Constructor and Description |
---|
IteratorSourcePropagationStrategy(IteratorExp loopExp,
PartialEvaluatorImpl evaluator) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
mapDelta(OCLExpression sourceOfIterator,
java.util.Collection<java.lang.Object> delta)
|
getEvaluator
getPropagatesTo
public IteratorSourcePropagationStrategy(IteratorExp loopExp, PartialEvaluatorImpl evaluator)
public java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> mapDelta(OCLExpression sourceOfIterator, java.util.Collection<java.lang.Object> delta)
DeltaPropagationStrategy
source
of a CallExp
expression. The case where multiple pairs are returned may happen,
e.g., when e is the body of an operation which gets called by several OperationCallExp
expressions in the
context of the overall expression for which to analyze the change propagation.b
component of the pair returned. If delta propagates to an empty delta for some
other expression, no entry is created for this in the result collection. If a non-null but empty collection is returned
this means that the delta of e's value has no effect on the overall expression analyzed.