org.eclipse.ocl.examples.debug.vm.evaluator
Interface IVMModelManager

All Superinterfaces:

DomainModelManager

All Known Implementing Classes:

OCLVMModelManager, VMModelManager

public interface IVMModelManager
extends DomainModelManager

VM Domain Manager is the class responsible for managing the virtual machine meta-models and models. A VM Domain Manager object encapsulates the domain information need to modify the domains's models.

Field Summary

Fields inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainModelManager

NULL

Method Summary

void	dispose()
MetaModelManager	getMetaModelManager()

Methods inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainModelManager

get

Method Detail

dispose

void dispose()

getMetaModelManager

@NonNull
MetaModelManager getMetaModelManager()