Package | Description |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback | |
org.eclipse.ocl.examples.impactanalyzer.util |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
TracebackCache.get(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests)
|
protected abstract OperationCallExpKeyedSet |
AbstractTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent)
This method is used to invoke the
TracebackStep.traceback(AnnotatedEObject, UnusedEvaluationRequestSet, TracebackCache, Notification) method on all necessary subsequent TracebackStep s and return their results. |
protected OperationCallExpKeyedSet |
BranchingTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
EmptyTracebackStep.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. |
protected OperationCallExpKeyedSet |
IteratorTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
OperationCallTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
OppositePropertyCallTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
PropertyCallTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected OperationCallExpKeyedSet |
VariableTracebackStep.performSubsequentTraceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
AbstractTracebackStep.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
AbstractTracebackStep.TracebackStepAndScopeChange.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent) |
OperationCallExpKeyedSet |
TracebackStep.traceback(AnnotatedEObject source,
UnusedEvaluationRequestSet pendingUnusedEvalRequests,
TracebackCache tracebackCache,
org.eclipse.emf.common.notify.Notification changeEvent)
When being executed, the step computes a conservative superset of the objects that, when used as the context for the
overall
OCLExpression , may cause the expression for which this TracebackStep was created to evaluate to
source . |
Modifier and Type | Method and Description |
---|---|
void |
TracebackCache.put(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests,
OperationCallExpKeyedSet result) |
Modifier and Type | Class and Description |
---|---|
class |
FlatSet
A simplified implementation of the
OperationCallExpKeyedSet interface which is actually unable to
associate the AnnotatedEObject s with OperationCallExp expressions but instead just keeps
the AnnotatedEObject s as flat sets. |
class |
IterableAsOperationCallExpKeyedSet
Encapsulates an
Iterable of AnnotatedEObject s as if it could be queried for the specific
operation call expression through which a subset of it was traced. |
class |
OperationCallExpKeyedSetImpl
Immutable implementation of a data structure keyed by
OperationCallExp expressions where the values
are sets of E objects. |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(AnnotatedEObject aeo) |
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(java.util.Collection<OperationCallExpKeyedSet> sets) |
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(OperationCallExp oce,
OperationCallExpKeyedSet c) |
static OperationCallExpKeyedSet |
FlatSet.emptySet() |
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.emptySet() |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(OperationCallExp oce,
OperationCallExpKeyedSet c) |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(java.util.Collection<OperationCallExpKeyedSet> sets) |
Constructor and Description |
---|
FlatSet(java.util.Collection<OperationCallExpKeyedSet> sets) |