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

Packages that use ModelManager.ModelManagerExtension

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.executor

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

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

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.

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

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

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.

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

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

Modifier and Type	Class and Description
class	PivotModelManager

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

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

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