Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.evaluation |
Modifier and Type | Class and Description |
---|---|
class |
EvaluationVisitorDecorator
A visitor that decorates another
EvaluationVisitor , to intercept
invocations of the visitXxx(...) methods. |
class |
TracingEvaluationVisitor
A decorator for evaluation visitors that is installed when evaluation tracing
is enabled, to trace interim evaluation results to the console.
|