| Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return types with arguments of type Tuple.Pair |
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
DeltaPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
Maps a delta of e's value to the delta of one or more other expressions, typically such expressions that
contain or use e, as in the case where e is the body of a collect expression or the
source of a CallExp expression. |
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
IdentityPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
IteratorSourcePropagationStrategy.mapDelta(OCLExpression sourceOfIterator,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
OperationBodyPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
PartialEvaluatorImpl.transitivelyPropagateDelta(OCLExpression e,
java.util.Collection<java.lang.Object> deltaForEValue,
OperationBodyToCallMapper mapper)
Tries to find a propagation strategy for the combination of the OCL expression e
and a given delta for its evaluation result. |