Package | Description |
---|---|
org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
Modifier and Type | Class and Description |
---|---|
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 |
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 |
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. |