Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
Modifier and Type | Class and Description |
---|---|
class |
AbstractTracebackStep<E extends OCLExpression> |
static class |
AbstractTracebackStep.TracebackStepAndScopeChange
Encapsulates the scope change that has to happen before invoking a subsequent traceback step.
|
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. |
class |
BranchingTracebackStep<E extends OCLExpression> |
class |
CollectionLiteralTracebackStep
When a
CollectionLiteralExp is traced back, it calls the
TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification) function for the item of those parts, which are
instance of CollectionItem , forwarding the source object, the (possibly modified)
pendingUnusedEvalRequests and the tracebackCache . |
class |
EmptyTracebackStep |
class |
IfTracebackStep
When a
IfExp is traced back, it calls the TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification)
function for its then-expression and its else-expression, forwarding the source object, the (possibly
modified) pendingUnusedEvalRequests and the tracebackCache . |
class |
IterateTracebackStep |
class |
IteratorTracebackStep |
class |
LetTracebackStep
When a
LetExp is traced back, it calls the TracebackStep#traceback(AnnotatedEObject, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.TracebackCache, Notification)
function for its in-expression, forwarding the source object, the (possibly modified)
pendingUnusedEvalRequests and the tracebackCache . |
class |
OperationCallTracebackStep |
class |
OppositePropertyCallTracebackStep |
class |
PropertyCallTracebackStep |
class |
TupleLiteralTracebackStep |
class |
VariableTracebackStep
The step produced will be invoked with the value for the variable.
|
Modifier and Type | Method and Description |
---|---|
protected TracebackStep |
TracebackStepCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory) |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
TracebackCache.get(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests)
|
void |
TracebackCache.put(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests,
OperationCallExpKeyedSet result) |
Constructor and Description |
---|
AbstractTracebackStep.TracebackStepAndScopeChange(TracebackStep step,
java.util.Set<Variable> variablesThatLeaveOrEnterScopeWhenCallingStep) |
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp(TracebackStep step,
java.util.Set<Variable> variablesChangingScope,
OperationCallExp callToWhichResultsAreSpecific)
Remembers
call as the only operation call through which |