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.

Field Summary

Fields

Modifier and Type	Field and Description
static DomainModelManager	NULL

Method Summary

Methods

Modifier and Type	Method and Description
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)