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

Class EmptyTracebackStep

java.lang.Object

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

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

All Implemented Interfaces:

TracebackStep

public class EmptyTracebackStep
extends AbstractTracebackStep<OCLExpression>

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
EmptyTracebackStep(OCLExpression 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

Modifier and Type

Method and Description

protected OperationCallExpKeyedSet

performSubsequentTraceback(AnnotatedEObject source, UnusedEvaluationRequestSet pendingUnusedEvalRequests, TracebackCache tracebackCache, org.eclipse.emf.common.notify.Notification changeEvent) When an IntegerLiteralExp or an UnlimitedNaturalLiteralExp or a StringLiteralExp or a RealLiteralExp or an EnumLiteralExp or a BooleanLiteralExp or a NullLiteralExp or an InvalidLiteralExp is traced back, an empty set is returned.

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

EmptyTracebackStep

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

Method Detail

performSubsequentTraceback

protected OperationCallExpKeyedSet performSubsequentTraceback(AnnotatedEObject source,
                                                  UnusedEvaluationRequestSet pendingUnusedEvalRequests,
                                                  TracebackCache tracebackCache,
                                                  org.eclipse.emf.common.notify.Notification changeEvent)

When an IntegerLiteralExp or an UnlimitedNaturalLiteralExp or a StringLiteralExp or a RealLiteralExp or an EnumLiteralExp or a BooleanLiteralExp or a NullLiteralExp or an InvalidLiteralExp is traced back, an empty set is returned.

Specified by:

performSubsequentTraceback in class AbstractTracebackStep<OCLExpression>

See Also:

AbstractTracebackStep#performSubsequentTraceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification)