public class OperationBodyPropagationStrategy extends java.lang.Object implements DeltaPropagationStrategy
Constructor and Description |
---|
OperationBodyPropagationStrategy(OperationBodyToCallMapper mapper) |
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)
|
public OperationBodyPropagationStrategy(OperationBodyToCallMapper mapper)
public java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> mapDelta(OCLExpression e, 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.mapDelta
in interface DeltaPropagationStrategy
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.