org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Class IfTracebackStep

java.lang.Object

org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep<E>

org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.BranchingTracebackStep<IfExp>

org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.IfTracebackStep

All Implemented Interfaces:

TracebackStep

public class IfTracebackStep
extends BranchingTracebackStep<IfExp>

When a IfExp is traced back, it calls the TracebackStep.traceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification) function for its then-expression and its else-expression, forwarding the source object, the (possibly modified) pendingUnusedEvalRequests and the tracebackCache.

See Also:

AbstractTracebackStep.performSubsequentTraceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification)

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep

AbstractTracebackStep.TracebackStepAndScopeChange, AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp

Field Summary

Fields inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep

oclFactory, provenUnused, requiredType, tracebackExecutions

Constructor Summary

Constructors

Constructor and Description
IfTracebackStep(IfExp sourceExpression, org.eclipse.emf.ecore.EClass context, OperationBodyToCallMapper operationBodyToCallMapper, java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor, TracebackStepCache tracebackStepCache, UnusedEvaluationRequestFactory unusedEvaluationRequestFactory, OCLFactory oclFactory)

Method Summary

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.BranchingTracebackStep

getSteps, performSubsequentTraceback

Methods inherited from class org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.AbstractTracebackStep

annotate, annotateEObject, annotateEObject, cloneWithTypeCheck, createTracebackStepAndScopeChange, createTracebackStepAndScopeChange, getAllVariablesInScope, getExpression, getInnermostClass, getInnermostElementType, getInnermostTypeConsideringTupleLiteralsLookedFor, getOppositeEndFinder, getVariablesScopedByExpression, traceback

Methods inherited from class java.lang.Object

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

Constructor Detail

IfTracebackStep

public IfTracebackStep(IfExp sourceExpression,
               org.eclipse.emf.ecore.EClass context,
               OperationBodyToCallMapper operationBodyToCallMapper,
               java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
               TracebackStepCache tracebackStepCache,
               UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
               OCLFactory oclFactory)