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

java.lang.Object
  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()