|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
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 Summary | |
---|---|
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 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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |