org.eclipse.ocl.examples.domain.evaluation
Interface DomainEvaluationVisitor
public interface DomainEvaluationVisitor
getEvaluationEnvironment
@NonNull
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
@NonNull
DomainEvaluator getEvaluator()
getModelManager
@NonNull
DomainModelManager getModelManager()
- Obtains the mapping of model classes to their extents.
- Returns:
- the model manager
getStandardLibrary
@NonNull
DomainStandardLibrary getStandardLibrary()