public class IdentityPropagationStrategy extends DeltaPropagationStrategyWithTargetExpression
Constructor and Description |
---|
IdentityPropagationStrategy(OCLExpression propagatesTo) |
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)
|
getPropagatesTo
public IdentityPropagationStrategy(OCLExpression propagatesTo)
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.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.