Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
Modifier and Type | Class and Description |
---|---|
protected static class |
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp
When executed using the
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp.traceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification) method,
results will be keyed with AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp.callToWhichResultsAreSpecific because the TracebackStep encapsulated by this object
navigates back to the specified call expression, and there either to the source or an argument expression. |
Modifier and Type | Method and Description |
---|---|
protected AbstractTracebackStep.TracebackStepAndScopeChange |
AbstractTracebackStep.createTracebackStepAndScopeChange(OCLExpression sourceExpression,
OCLExpression targetExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache)
Creates a new
AbstractTracebackStep.TracebackStepAndScopeChange } object. |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<AbstractTracebackStep.TracebackStepAndScopeChange> |
BranchingTracebackStep.getSteps() |