Uses of Interface
org.eclipse.ocl.pivot.evaluation.ModelManager

Packages that use ModelManager

Package	Description
org.eclipse.ocl.examples.debug.evaluator
org.eclipse.ocl.pivot.evaluation
org.eclipse.ocl.pivot.internal.evaluation
org.eclipse.ocl.pivot.internal.library.ecore
org.eclipse.ocl.pivot.internal.library.executor
org.eclipse.ocl.pivot.internal.manager
org.eclipse.ocl.pivot.utilities

Uses of ModelManager in org.eclipse.ocl.examples.debug.evaluator

Classes in org.eclipse.ocl.examples.debug.evaluator that implement ModelManager

Modifier and Type	Class and Description
class	OCLVMModelManager OCL Domain Manager is the class responsible for managing the OCL virtual machine meta-models and models.

Methods in org.eclipse.ocl.examples.debug.evaluator that return ModelManager

Modifier and Type	Method and Description
ModelManager	OCLVMEvaluationVisitor.getModelManager() Deprecated. moved to Evaluator

Uses of ModelManager in org.eclipse.ocl.pivot.evaluation

Subinterfaces of ModelManager in org.eclipse.ocl.pivot.evaluation

Modifier and Type	Interface and Description
static interface	ModelManager.ModelManagerExtension

Classes in org.eclipse.ocl.pivot.evaluation that implement ModelManager

Modifier and Type	Class and Description
class	AbstractModelManager The abstract implementation of the ModelManager API for Objects supports use of EObject as the basis of models.

Fields in org.eclipse.ocl.pivot.evaluation declared as ModelManager

Modifier and Type	Field and Description
static ModelManager	ModelManager.NULL

Methods in org.eclipse.ocl.pivot.evaluation that return ModelManager

Modifier and Type	Method and Description
ModelManager	EvaluationEnvironment.getModelManager() Deprecated. moved to Evaluator
ModelManager	EvaluationVisitor.getModelManager() Deprecated. moved to Evaluator
ModelManager	Evaluator.getModelManager() Deprecated. use Executor or EvaluationVisitor.
ModelManager	Executor.getModelManager()

Uses of ModelManager in org.eclipse.ocl.pivot.internal.evaluation

Classes in org.eclipse.ocl.pivot.internal.evaluation that implement ModelManager

Modifier and Type	Class and Description
class	PivotModelManager

Fields in org.eclipse.ocl.pivot.internal.evaluation declared as ModelManager

Modifier and Type	Field and Description
protected ModelManager	AbstractEvaluationVisitor.modelManager Deprecated. Use getExecutor().getModelManager()
protected ModelManager	AbstractExecutor.modelManager Deprecated. implement modelManager in derived class
protected ModelManager	BasicEvaluationEnvironment.modelManager Deprecated. use an executor
protected ModelManager	BasicOCLExecutor.modelManager

Methods in org.eclipse.ocl.pivot.internal.evaluation that return ModelManager

Modifier and Type	Method and Description
ModelManager	AbstractEvaluationVisitor.getModelManager() Deprecated. moved to Evaluator
ModelManager	AbstractEvaluationVisitorDecorator.getModelManager() Deprecated. moved to Evaluator
ModelManager	BasicEvaluationEnvironment.getModelManager() Deprecated. moved to Evaluator
ModelManager	BasicOCLExecutor.getModelManager()

Constructors in org.eclipse.ocl.pivot.internal.evaluation with parameters of type ModelManager

Constructor and Description
AbstractExecutor(EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension environmentFactory, ModelManager modelManager) Deprecated. implement modelManager in derived class
BasicEvaluationEnvironment(EnvironmentFactory environmentFactory, NamedElement executableObject, ModelManager modelManager) Deprecated. use an executor
BasicOCLExecutor(EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension environmentFactory, ModelManager modelManager)

Uses of ModelManager in org.eclipse.ocl.pivot.internal.library.ecore

Methods in org.eclipse.ocl.pivot.internal.library.ecore that return ModelManager

Modifier and Type	Method and Description
ModelManager	EcoreExecutorManager.getModelManager()

Uses of ModelManager in org.eclipse.ocl.pivot.internal.library.executor

Classes in org.eclipse.ocl.pivot.internal.library.executor that implement ModelManager

Modifier and Type	Class and Description
class	LazyModelManager A self-populating map that lazily creates the extent of a class when asked for it.

Uses of ModelManager in org.eclipse.ocl.pivot.internal.manager

Methods in org.eclipse.ocl.pivot.internal.manager that return ModelManager

Modifier and Type	Method and Description
ModelManager	PivotExecutorManager.getModelManager()

Uses of ModelManager in org.eclipse.ocl.pivot.utilities

Methods in org.eclipse.ocl.pivot.utilities that return ModelManager

Modifier and Type	Method and Description
protected ModelManager	AbstractEnvironmentFactory.createModelManager()
ModelManager	AbstractEnvironmentFactory.createModelManager(java.lang.Object object) Creates an extent map for invocation of OclType.allInstances() using the specified object as a context from which to find the scope in which OCL classifier extents are defined.
ModelManager	EnvironmentFactory.createModelManager(java.lang.Object object) Creates an extent map for invocation of OclType.allInstances() using the specified object as a context from which to find the scope in which OCL classifier extents are defined.
ModelManager	OCL.getModelManager() Obtains the model manager, if any, provided by the client to customize the evaluation of constraints.

Methods in org.eclipse.ocl.pivot.utilities with parameters of type ModelManager

Modifier and Type	Method and Description
EvaluationEnvironment	AbstractEnvironmentFactory.createEvaluationEnvironment(NamedElement executableObject, ModelManager modelManager)
EvaluationEnvironment	EnvironmentFactory.createEvaluationEnvironment(NamedElement executableObject, ModelManager modelManager) Creates a new evaluation environment to track the values of variables in an OCL expression as it is evaluated.
EvaluationVisitor	AbstractEnvironmentFactory.createEvaluationVisitor(java.lang.Object context, ExpressionInOCL expression, ModelManager modelManager)
EvaluationVisitor	EnvironmentFactory.createEvaluationVisitor(java.lang.Object context, ExpressionInOCL expression, ModelManager modelManager) Creates a new evaluation visitor, for the evaluation of an OCL expression on a context using an environment and a modelManager.
ExecutorInternal	AbstractEnvironmentFactory.createExecutor(ModelManager modelManager)
ExecutorInternal	EnvironmentFactory.EnvironmentFactoryExtension.createExecutor(ModelManager modelManager) Create an Executor for OCL evaluation.
void	OCL.setModelManager(ModelManager modelManager) Assigns a custom extent map to define the extents of classes in evaluation of OCL constraints.