org.eclipse.ocl.examples.pivot.evaluation
Interface ModelManager
- All Known Implementing Classes:
- LazyModelManager, PivotModelManager
public interface ModelManager
ModelManager provides the models to be used during evaluation. In particular
the managed models constitute the extent from which Classifier.allInstances
returns are made.
Method Summary |
java.util.Set<org.eclipse.emf.ecore.EObject> |
get(Type type)
|
NULL
static final ModelManager NULL
get
java.util.Set<org.eclipse.emf.ecore.EObject> get(Type type)