org.eclipse.ocl.examples.domain.evaluation
Interface DomainEvaluationVisitor

public interface DomainEvaluationVisitor

Method Summary

DomainEvaluationEnvironment	getEvaluationEnvironment() Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.
DomainEvaluator	getEvaluator()
DomainModelManager	getModelManager() Obtains the mapping of model classes to their extents.
DomainStandardLibrary	getStandardLibrary()
ValueFactory	getValueFactory()

Method Detail

getEvaluationEnvironment

DomainEvaluationEnvironment getEvaluationEnvironment()

Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.

Returns:

the evaluation environment

getEvaluator

DomainEvaluator getEvaluator()

getModelManager

DomainModelManager getModelManager()

Obtains the mapping of model classes to their extents.

Returns:

the model manager

getStandardLibrary

DomainStandardLibrary getStandardLibrary()

getValueFactory

ValueFactory getValueFactory()