Uses of Interface
org.eclipse.ocl.examples.domain.evaluation.DomainModelManager

Packages that use DomainModelManager

org.eclipse.ocl.examples.debug.evaluator
org.eclipse.ocl.examples.debug.vm.evaluator
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.console

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

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

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 DomainModelManager

DomainModelManager

OCLVMEvaluationVisitor.getModelManager()

Uses of DomainModelManager in org.eclipse.ocl.examples.debug.vm.evaluator

Subinterfaces of DomainModelManager in org.eclipse.ocl.examples.debug.vm.evaluator

interface

IVMModelManager VM Domain Manager is the class responsible for managing the virtual machine meta-models and models.

Classes in org.eclipse.ocl.examples.debug.vm.evaluator that implement DomainModelManager

class

VMModelManager OCL Domain Manager is the class responsible for managing the OCL virtual machine meta-models and models.

Uses of DomainModelManager in org.eclipse.ocl.examples.domain.evaluation

Fields in org.eclipse.ocl.examples.domain.evaluation declared as DomainModelManager

static DomainModelManager

DomainModelManager.NULL

Methods in org.eclipse.ocl.examples.domain.evaluation that return DomainModelManager

DomainModelManager	DomainEvaluationVisitor.getModelManager() Obtains the mapping of model classes to their extents.
DomainModelManager	DomainEvaluator.getModelManager() Return the manager of all model instances for use by allInstances() and hidden opposite support.

Uses of DomainModelManager in org.eclipse.ocl.examples.library.ecore

Methods in org.eclipse.ocl.examples.library.ecore that return DomainModelManager

DomainModelManager

EcoreExecutorManager.getModelManager()

Uses of DomainModelManager in org.eclipse.ocl.examples.library.executor

Classes in org.eclipse.ocl.examples.library.executor that implement DomainModelManager

class

LazyModelManager A self-populating map that lazily creates the extent of a class when asked for it.

Uses of DomainModelManager in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot that return DomainModelManager

DomainModelManager	OCL.getModelManager() Obtains the model manager, if any, provided by the client to customize the evaluation of constraints.
DomainModelManager	Query.getModelManager() Obtains the mapping of classes to their extents (sets of all instances).

Methods in org.eclipse.ocl.examples.pivot with parameters of type DomainModelManager

EvaluationVisitor	AbstractEnvironmentFactory.createEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager)
EvaluationVisitor	EnvironmentFactory.createEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager) Creates a new evaluation visitor, for the evaluation of OCL expressions.
EvaluationVisitor	AbstractEnvironmentFactory.createEvaluationVisitor(Environment environment, java.lang.Object context, ExpressionInOCL expression, DomainModelManager modelManager)
EvaluationVisitor	EnvironmentFactory.createEvaluationVisitor(Environment environment, java.lang.Object context, ExpressionInOCL expression, DomainModelManager modelManager) Creates a new evaluation visitor, for the evaluation of an OCL expression on a context using an environment and a modelManager.
void	OCL.setModelManager(DomainModelManager modelManager) Assigns a custom extent map to define the extents of classes in evaluation of OCL constraints.

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

Classes in org.eclipse.ocl.examples.pivot.evaluation that implement DomainModelManager

class

PivotModelManager

Fields in org.eclipse.ocl.examples.pivot.evaluation declared as DomainModelManager

protected DomainModelManager

AbstractEvaluationVisitor.modelManager

Methods in org.eclipse.ocl.examples.pivot.evaluation that return DomainModelManager

DomainModelManager	EvaluationEnvironment.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.
DomainModelManager	PivotEvaluationEnvironment.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.
DomainModelManager	AbstractEvaluationVisitor.getModelManager()
DomainModelManager	AbstractEvaluationVisitorDecorator.getModelManager() Obtains my delegate's extent map.
DomainModelManager	EvaluationVisitor.getModelManager() Obtains the mapping of model classes to their extents.

Constructors in org.eclipse.ocl.examples.pivot.evaluation with parameters of type DomainModelManager

AbstractEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager)
Initializes me.

EvaluationVisitorImpl(Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager)
Constructor

Uses of DomainModelManager in org.eclipse.ocl.examples.pivot.manager

Methods in org.eclipse.ocl.examples.pivot.manager that return DomainModelManager

DomainModelManager

PivotExecutorManager.getModelManager()

Uses of DomainModelManager in org.eclipse.ocl.examples.pivot.utilities

Methods in org.eclipse.ocl.examples.pivot.utilities that return DomainModelManager

DomainModelManager

QueryImpl.getModelManager()

Uses of DomainModelManager in org.eclipse.ocl.examples.xtext.console

Constructors in org.eclipse.ocl.examples.xtext.console with parameters of type DomainModelManager

OCLConsolePage.CancelableEvaluationVisitor(org.eclipse.core.runtime.IProgressMonitor monitor, Environment env, EvaluationEnvironment evalEnv, DomainModelManager modelManager)