|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TracebackStep | |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
Uses of TracebackStep in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
---|
Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that implement TracebackStep | |
---|---|
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
traceback(AnnotatedEObject, UnusedEvaluationRequestSet, 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 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 . |
class |
IterateTracebackStep
|
class |
IteratorTracebackStep
|
class |
LetTracebackStep
When a LetExp is traced back, it calls the traceback(AnnotatedEObject, UnusedEvaluationRequestSet, 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. |
Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return TracebackStep | |
---|---|
protected TracebackStep |
TracebackStepCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type TracebackStep | |
---|---|
OperationCallExpKeyedSet |
TracebackCache.get(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests)
Looks up a previously entered result for the step where navigation
started at the from object. |
void |
TracebackCache.put(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests,
OperationCallExpKeyedSet result)
|
Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type TracebackStep | |
---|---|
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |