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)
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 |
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)