Modifier and Type | Method and Description |
---|---|
protected AnnotatedEObject |
AbstractNavigationStep.annotateEObject(AnnotatedEObject fromObject,
org.eclipse.emf.ecore.EObject next) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<AnnotatedEObject> |
TracebackCache.get(NavigationStep step,
AnnotatedEObject from)
|
protected java.util.Collection<AnnotatedEObject> |
InstanceScopeAnalysis.getSourceElement(org.eclipse.emf.common.notify.Notification changeEvent,
NavigationCallExp attributeOrAssociationEndCall) |
protected abstract java.util.Set<AnnotatedEObject> |
AbstractNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
AllInstancesNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
AssociationNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
BranchingNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
EmptyResultNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
IdentityNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
IndirectingStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
NavigationStepSequence.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
OppositePropertyNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
PredicateCheckNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification atPre) |
protected java.util.Set<AnnotatedEObject> |
RefImmediateCompositeNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
java.util.Set<AnnotatedEObject> |
AbstractNavigationStep.navigate(java.util.Set<AnnotatedEObject> from,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent)
Breaks down the navigation from the from set to the individual elements in from and manages the type
checks.
|
java.util.Set<AnnotatedEObject> |
NavigationStep.navigate(java.util.Set<AnnotatedEObject> from,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
Modifier and Type | Method and Description |
---|---|
protected AnnotatedEObject |
AbstractNavigationStep.annotateEObject(AnnotatedEObject fromObject,
org.eclipse.emf.ecore.EObject next) |
protected boolean |
AbstractNavigationStep.doesSourceTypeMatch(AnnotatedEObject fromObject) |
protected boolean |
BranchingNavigationStep.doesSourceTypeMatch(AnnotatedEObject fromObject) |
static boolean |
AbstractTracer.doesTypeMatch(org.eclipse.emf.ecore.EClass sourceType,
AnnotatedEObject fromObject) |
java.util.Set<AnnotatedEObject> |
TracebackCache.get(NavigationStep step,
AnnotatedEObject from)
|
protected abstract java.util.Set<AnnotatedEObject> |
AbstractNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
AllInstancesNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
AssociationNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
BranchingNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
EmptyResultNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
IdentityNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
IndirectingStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
NavigationStepSequence.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
OppositePropertyNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
protected java.util.Set<AnnotatedEObject> |
PredicateCheckNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification atPre) |
protected java.util.Set<AnnotatedEObject> |
RefImmediateCompositeNavigationStep.navigate(AnnotatedEObject fromObject,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
void |
TracebackCache.put(NavigationStep step,
AnnotatedEObject from,
java.util.Set<AnnotatedEObject> result) |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractNavigationStep.incrementNavigateCounter(java.util.Set<AnnotatedEObject> from)
The incrementing of the navigate counter gets its own protected method because subclasses
must be able to suppress incrementing under special circumstances
(e.g.
|
protected void |
IndirectingStep.incrementNavigateCounter(java.util.Set<AnnotatedEObject> from)
Overrides incrementNavigateCounter to suppress counting of additional navigate() call in case of a recursion
|
java.util.Set<AnnotatedEObject> |
AbstractNavigationStep.navigate(java.util.Set<AnnotatedEObject> from,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent)
Breaks down the navigation from the from set to the individual elements in from and manages the type
checks.
|
java.util.Set<AnnotatedEObject> |
NavigationStep.navigate(java.util.Set<AnnotatedEObject> from,
TracebackCache cache,
org.eclipse.emf.common.notify.Notification changeEvent) |
void |
TracebackCache.put(NavigationStep step,
AnnotatedEObject from,
java.util.Set<AnnotatedEObject> result) |
Modifier and Type | Method and Description |
---|---|
protected AnnotatedEObject |
AbstractTracebackStep.annotateEObject(AnnotatedEObject object)
Annotates a non-navigation where
object is forwarded unchanged from this step to another. |
protected AnnotatedEObject |
AbstractTracebackStep.annotateEObject(AnnotatedEObject fromObject,
org.eclipse.emf.ecore.EObject next)
Annotates a navigation from
fromObject to next by taking over fromObject 's annotation,
adding a description of this step and telling at which object the navigation arrived. |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<AnnotatedEObject> |
AbstractTracebackStep.annotate(AnnotatedEObject fromObject,
java.util.Set<AnnotatedEObject> newResults)
If in
debug mode , creates a new AnnotatedEObject for each
one in newResults , assuming that there is no "from" object; as an alibi "from" object, the
annotated objects from newResults are used. |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<AnnotatedEObject> |
AbstractTracebackStep.annotate(AnnotatedEObject fromObject,
java.util.Set<AnnotatedEObject> newResults)
If in
debug mode , creates a new AnnotatedEObject for each
one in newResults , assuming that there is no "from" object; as an alibi "from" object, the
annotated objects from newResults are used. |
protected AnnotatedEObject |
AbstractTracebackStep.annotateEObject(AnnotatedEObject object)
Annotates a non-navigation where
object is forwarded unchanged from this step to another. |
protected AnnotatedEObject |
AbstractTracebackStep.annotateEObject(AnnotatedEObject fromObject,
org.eclipse.emf.ecore.EObject next)
Annotates a navigation from
fromObject to next by taking over fromObject 's annotation,
adding a description of this step and telling at which object the navigation arrived. |
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, Set, org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback.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) |
void |
TracebackCache.put(TracebackStep step,
AnnotatedEObject from,
UnusedEvaluationRequestSet pendingUnusedEvaluationRequests,
OperationCallExpKeyedSet result) |
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 |
---|---|
protected java.util.Set<AnnotatedEObject> |
AbstractTracebackStep.annotate(AnnotatedEObject fromObject,
java.util.Set<AnnotatedEObject> newResults)
If in
debug mode , creates a new AnnotatedEObject for each
one in newResults , assuming that there is no "from" object; as an alibi "from" object, the
annotated objects from newResults are used. |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
FlatSet.entrySet()
The returned iterable's iterator produces a single element with this set contained as iterable value,
or an empty iterable in case this set is empty.
|
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
IterableAsOperationCallExpKeyedSet.entrySet() |
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
OperationCallExpKeyedSet.entrySet() |
java.lang.Iterable<java.util.Map.Entry<OperationCallExp,java.lang.Iterable<AnnotatedEObject>>> |
OperationCallExpKeyedSetImpl.entrySet() |
java.lang.Iterable<AnnotatedEObject> |
FlatSet.getCombinedResultsFor(OperationCallExp oce)
The combined results is this set itself because it always contains all results for all
operation calls, already combined.
|
java.lang.Iterable<AnnotatedEObject> |
IterableAsOperationCallExpKeyedSet.getCombinedResultsFor(OperationCallExp oce) |
java.lang.Iterable<AnnotatedEObject> |
OperationCallExpKeyedSet.getCombinedResultsFor(OperationCallExp oce) |
java.lang.Iterable<AnnotatedEObject> |
OperationCallExpKeyedSetImpl.getCombinedResultsFor(OperationCallExp oce) |
java.lang.Iterable<AnnotatedEObject> |
EntryIterableWithIterableForNullKey.getValue() |
java.util.Iterator<AnnotatedEObject> |
IterableAsOperationCallExpKeyedSet.iterator() |
java.util.Iterator<AnnotatedEObject> |
OperationCallExpKeyedSetImpl.iterator() |
java.lang.Iterable<AnnotatedEObject> |
EntryIterableWithIterableForNullKey.setValue(java.lang.Iterable<AnnotatedEObject> value) |
Modifier and Type | Method and Description |
---|---|
OperationCallExpKeyedSet |
OperationCallExpKeyedSetFactory.createOperationCallExpKeyedSet(AnnotatedEObject aeo) |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<AnnotatedEObject> |
EntryIterableWithIterableForNullKey.setValue(java.lang.Iterable<AnnotatedEObject> value) |
Constructor and Description |
---|
AnnotatedEObject(org.eclipse.emf.ecore.EObject objectReached,
AnnotatedEObject from,
java.lang.String comment) |
FlatSet(AnnotatedEObject aeo) |
Constructor and Description |
---|
EntryIterableWithIterableForNullKey(java.lang.Iterable<AnnotatedEObject> iterable) |
IterableAsOperationCallExpKeyedSet(java.lang.Iterable<AnnotatedEObject> iterable) |