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