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.


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

Field Detail

NULL

@NonNull
static final DomainModelManager NULL
Method Detail

get

@NonNull
java.util.Set<org.eclipse.emf.ecore.EObject> get(@NonNull
                                                         DomainType type)