public interface DeltaPropagationStrategy
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> mapDelta(OCLExpression e, java.util.Collection<java.lang.Object> delta)
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.