org.eclipse.ocl.examples.domain.evaluation

Interface DomainEvaluationVisitor

public interface DomainEvaluationVisitor

Method Summary

Methods

Modifier and Type	Method and Description
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()

Method Detail

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()