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

java.lang.Object
  extended by org.eclipse.ocl.examples.impactanalyzer.deltaPropagation.DeltaPropagationStrategyWithTargetExpression
All Implemented Interfaces:
DeltaPropagationStrategy
Direct Known Subclasses:
DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator, IdentityPropagationStrategy

public abstract class DeltaPropagationStrategyWithTargetExpression
extends java.lang.Object
implements DeltaPropagationStrategy


Constructor Summary
protected DeltaPropagationStrategyWithTargetExpression(OCLExpression propagatesTo)
           
 
Method Summary
protected  OCLExpression 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

DeltaPropagationStrategyWithTargetExpression

protected DeltaPropagationStrategyWithTargetExpression(OCLExpression propagatesTo)
Method Detail

getPropagatesTo

protected OCLExpression getPropagatesTo()