| 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
CoreConnection 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 AttributeCallExp and
AssociationEndCallExp 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. |