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.


Field Summary
static ModelManager NULL
           
 
Method Summary
 java.util.Set<org.eclipse.emf.ecore.EObject> get(Type type)
           
 

Field Detail

NULL

static final ModelManager NULL
Method Detail

get

java.util.Set<org.eclipse.emf.ecore.EObject> get(Type type)