org.eclipse.ocl.examples.domain.evaluation
Interface DomainModelManager
- All Known Implementing Classes:
- LazyModelManager, PivotModelManager
public interface DomainModelManager
DomainModelManager 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(DomainType type)
|
NULL
static final DomainModelManager NULL
get
java.util.Set<org.eclipse.emf.ecore.EObject> get(DomainType type)