Uses of Class
org.eclipse.ocl.examples.pivot.evaluation.EvaluationVisitorDecorator

Packages that use EvaluationVisitorDecorator

org.eclipse.ocl.examples.pivot.evaluation

Uses of EvaluationVisitorDecorator in org.eclipse.ocl.examples.pivot.evaluation

Subclasses of EvaluationVisitorDecorator in org.eclipse.ocl.examples.pivot.evaluation

class

TracingEvaluationVisitor A decorator for evaluation visitors that is installed when evaluation tracing is enabled, to trace interim evaluation results to the console.