org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
Class DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.DeltaPropagationStrategyWithTargetExpression
      org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator

All Implemented Interfaces:

DeltaPropagationStrategy

Direct Known Subclasses:

IteratorSourcePropagationStrategy

public abstract class DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator
extends DeltaPropagationStrategyWithTargetExpression

Constructor Summary

protected

DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator(OCLExpression propagatesTo, PartialEvaluatorImpl evaluator)

Method Summary

protected PartialEvaluatorImpl

getEvaluator()

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.DeltaPropagationStrategyWithTargetExpression

getPropagatesTo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.DeltaPropagationStrategy

mapDelta

Constructor Detail

DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator

protected DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator(OCLExpression propagatesTo,
                                                                          PartialEvaluatorImpl evaluator)

Method Detail

getEvaluator

protected PartialEvaluatorImpl getEvaluator()