|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SemanticComparable | |
---|---|
org.eclipse.ocl.examples.impactanalyzer.instanceScope |
Uses of SemanticComparable in org.eclipse.ocl.examples.impactanalyzer.instanceScope |
---|
Subinterfaces of SemanticComparable in org.eclipse.ocl.examples.impactanalyzer.instanceScope | |
---|---|
interface |
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. |
Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope that implement SemanticComparable | |
---|---|
class |
AbsoluteNavigationStep
|
class |
AbstractNavigationStep
Abstract implementation of the NavigationStep interface. |
class |
AllInstancesNavigationStep
|
class |
AssociationNavigationStep
|
class |
BranchingNavigationStep
A navigation step that branches in several paths and combines the results into one. |
class |
CompositeNavigationStep
A navigation step that branches in several paths and combines the results into one. |
class |
EmptyResultNavigationStep
|
class |
IdentityNavigationStep
Performs a trivial "identity" navigation, returning the fromObject again. |
class |
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 . |
class |
NavigationStepSequence
Performs a sequence of navigation steps where the subsequent step uses as its input the output of the previous step. |
class |
OppositePropertyNavigationStep
|
class |
PredicateCheckNavigationStep
Evaluates an OCL expression that is expected to be the body expression of an iterator expression. |
class |
RefImmediateCompositeNavigationStep
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |