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

Class TupleLiteralTracebackStep

java.lang.Object

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

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

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

All Implemented Interfaces:

TracebackStep

public class TupleLiteralTracebackStep
extends BranchingTracebackStep<TupleLiteralExp>

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
TupleLiteralTracebackStep(TupleLiteralExp 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

TupleLiteralTracebackStep

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