Package | Description |
---|---|
org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
org.eclipse.ocl.ecore.utilities | |
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.filterSynthesis | |
org.eclipse.ocl.examples.impactanalyzer.impl | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation | |
org.eclipse.ocl.examples.impactanalyzer.util | |
org.eclipse.ocl.util |
Miscellaneous utilities in support of the OCL parser and environment
implementations.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
|
class |
EvaluationVisitorImpl<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractVisitor<T>
Mixes in the
VisitorExtension interface and provides a default implementation for
OppositePropertyCallExp . |
Modifier and Type | Class and Description |
---|---|
class |
PartialEvaluationVisitorImpl
When a
ValueNotFoundException occurs during evaluating an expression, it is not caught, logged and swallowed but
forwarded to the caller. |
Modifier and Type | Class and Description |
---|---|
class |
FilterSynthesisImpl
Collects the relevant events for a single
OCLExpression recursively. |
Modifier and Type | Class and Description |
---|---|
class |
ContextTypeRetriever
From an OCL expression tries to determine the context type for
self by looking for VariableExp expressions
in the expression tree referencing the self variable and extracting the expression's type. |
Modifier and Type | Class and Description |
---|---|
class |
FindAlwaysUsedVariablesVisitor
For an OCL expression finds out which of the
Variable s referred by any VariableExp within
the expression will inevitably be used, regardless the values of any variables, deciding which branches
may be taken. |
class |
PartialEvaluationVisitorImplNoAllInstances
In addition to throwing a
ValueNotFoundException as already done by the superclass,
this implementation also throws a NoAllInstancesDuringEvaluationForUnusedCheck exception
in case an allInstances() call is to be evaluated. |
Modifier and Type | Class and Description |
---|---|
class |
HighlightingToStringVisitor |
Modifier and Type | Class and Description |
---|---|
class |
ToStringVisitor<C,O,P,EL,PM,S,COA,SSA,CT>
Converts an OCL expression to a string for debugging.
|