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

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.DeltaPropagationStrategyWithTargetExpression
      extended by 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()