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

Packages that use ModelManager

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.console

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

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

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

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

EvaluationVisitor	AbstractEnvironmentFactory.createEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, ModelManager modelManager)
EvaluationVisitor	EnvironmentFactory.createEvaluationVisitor(Environment env, EvaluationEnvironment evalEnv, ModelManager modelManager) Creates a new evaluation visitor, for the evaluation of OCL expressions.
void	OCLBase.setModelManager(ModelManager modelManager) Assigns a custom extent map to define the extents of classes in evaluation of OCL constraints.

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

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

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

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

protected ModelManager	AbstractEvaluationVisitor.modelManager
static ModelManager	ModelManager.NULL

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

ModelManager	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.
ModelManager	PivotEvaluationEnvironment.createModelManager(java.lang.Object object) Retrieves the reference feature in the specified context object that references the specified association class.
ModelManager	AbstractEvaluationVisitor.getModelManager()
ModelManager	EvaluationVisitor.getModelManager() Obtains the mapping of model classes to their extents.
ModelManager	EvaluationVisitorDecorator.getModelManager() Obtains my delegate's extent map.

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

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

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

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

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

ModelManager	QueryBaseImpl.getModelManager()
ModelManager	QueryImpl.getModelManager()

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

QueryBaseImpl(Environment environment, ExpressionInOcl specification, ModelManager modelManager)

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

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

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