org.eclipse.ocl.examples.debug.evaluator
Class OCLVMModelManager
java.lang.Object
org.eclipse.ocl.examples.debug.vm.evaluator.VMModelManager
org.eclipse.ocl.examples.debug.evaluator.OCLVMModelManager
- All Implemented Interfaces:
- IVMModelManager, DomainModelManager
public class OCLVMModelManager
- extends VMModelManager
OCL Domain Manager is the class responsible for managing the OCL virtual
machine meta-models and models.
A OCL Domain Manager object encapsulates the domain information need to
modify the domains's models.
Method Summary |
void |
dispose()
Dispose. |
java.util.Set<org.eclipse.emf.ecore.EObject> |
get(DomainType type)
|
protected boolean |
isInstance(DomainType requiredType,
org.eclipse.emf.ecore.EObject eObject)
Implemented by subclasses to determine whether the specified element
is an instance of the specified class, according to the metamodel
semantics implemented by the environment that created this extent map. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OCLVMModelManager
public OCLVMModelManager(@NonNull
MetaModelManager metaModelManager)
- Instantiates a new OCL Domain Manager. Responsible for creating new
instances of the middle model and the middle model EFactory.
dispose
public void dispose()
- Dispose.
get
@NonNull
public java.util.Set<org.eclipse.emf.ecore.EObject> get(@NonNull
DomainType type)
isInstance
protected boolean isInstance(@NonNull
DomainType requiredType,
@NonNull
org.eclipse.emf.ecore.EObject eObject)
- Implemented by subclasses to determine whether the specified element
is an instance of the specified class, according to the metamodel
semantics implemented by the environment that created this extent map.
- Parameters:
type
- the typeelement
- a potential run-time (M0) instance of that class
- Returns:
true
if this element is an instance of the given
class; false
otherwise