Interface | Description |
---|---|
AlwaysEmptyChangeListener | |
HashCodeChangeListener | |
NavigationStep |
During instance scope analysis, starting from an event's source element, by navigation the analyzer is trying to find a small
superset of those context elements for which re-evaluating the OCL expression may yield a different value after the event
compared to the value the OCL expression would have returned before the event.
|
SourceTypeChangeListener | |
TargetTypeChangeListener | |
Tracer |
All implementations must offer a constructor that takes a
OCLFactory and a OCLExpression impl
subclass of the type handled by them as argument. |
Class | Description |
---|---|
AbsoluteNavigationStep | |
AbstractNavigationStep |
Abstract implementation of the
NavigationStep interface. |
AbstractPathCache<StepType> |
The instance scope analysis's goal is to pre-compute steps for each
PropertyCallExp subexpression in an OCL
expression's expression tree. |
AbstractTracer<T extends org.eclipse.emf.ecore.EObject> | |
AllInstancesNavigationStep | |
AllSubclassesFinder | |
AssociationNavigationStep | |
BooleanLiteralExpTracer | |
BranchingNavigationStep |
A navigation step that branches in several paths and combines the results into one.
|
CollectionLiteralExpTracer | |
CompositeNavigationStep |
A navigation step that branches in several paths and combines the results into one.
|
EmptyResultNavigationStep | |
EnumLiteralExpTracer | |
IdentityNavigationStep |
Performs a trivial "identity" navigation, returning the fromObject again.
|
IfExpTracer | |
IndirectingStep |
Steps of this type can be an empty placeholder during the analysis phase and can
be filled in later, e.g., pointing to a real
NavigationStep . |
InstanceScopeAnalysis |
Supports a lookup from a source model element of either an attribute value change event or a link add/remove event together
with an
OCLExpression to a set of context objects for which the expression may return a value different
from the one it returned before the change event occurred. |
IntegerLiteralExpTracer | |
InvalidlLiteralExpTracer | |
IterateExpTracer | |
IteratorExpTracer | |
LetExpTracer | |
NavigationStepSequence |
Performs a sequence of navigation steps where the subsequent step uses as its input
the output of the previous step.
|
NullLiteralExpTracer | |
OperationCallExpTracer | |
OppositePropertyCallExpTracer | |
OppositePropertyNavigationStep | |
PathCache |
The instance scope analysis's goal is to compute
NavigationStep objects for each PropertyCallExp
subexpression in an OCL expression's expression tree. |
PredicateCheckNavigationStep |
Evaluates an OCL expression that is expected to be the
body expression of an iterator expression. |
PropertyCallExpTracer | |
RealLiteralExpTracer | |
RefImmediateCompositeNavigationStep | |
StringLiteralExpTracer | |
TracebackCache |
During the navigation of a
NavigationStep tree, starting from an EObject , navigation steps may be reached
several times with the same EObject at hand. |
TupleLiteralExpTracer | |
TypeExpTracer | |
VariableExpTracer |
Computes a
NavigationStep for a VariableExp which, given an element constituting a value the variable
shall assume, infers a set of elements which, when used as the value of the outermost expression's self variable,
may lead the variable considered here to assume the expected value. |