Package | Description |
---|---|
org.eclipse.ocl.ecore.internal.evaluation | |
org.eclipse.ocl.internal.evaluation |
Class and Description |
---|
TracingEvaluationVisitor
A decorator for evaluation visitors that is installed when evaluation tracing
is enabled, to trace interim evaluation results to the console.
|
Class and Description |
---|
BasicTypeChecker |
IterationTemplate |