org.eclipse.ocl.pivot.evaluation

Interface ModelManager

All Known Subinterfaces:

ModelManager.ModelManagerExtension

All Known Implementing Classes:

AbstractModelManager, LazyModelManager, OCLVMModelManager, 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.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ModelManager.ModelManagerExtension

Field Summary

Fields

Modifier and Type	Field and Description
static ModelManager	NULL

Method Summary

Modifier and Type	Method and Description
java.util.Set<? extends java.lang.Object>	get(Class type)

Field Detail

NULL

@NonNull
static final ModelManager NULL

Method Detail

get

@NonNull
java.util.Set<? extends java.lang.Object> get(Class type)