org.eclipse.ocl.examples.debug.evaluator
Class OCLVMModelManager

java.lang.Object
  extended by org.eclipse.ocl.examples.debug.vm.evaluator.VMModelManager
      extended by 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.


Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.debug.vm.evaluator.VMModelManager
metaModelManager
 
Fields inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainModelManager
NULL
 
Constructor Summary
OCLVMModelManager(MetaModelManager metaModelManager)
          Instantiates a new OCL Domain Manager.
 
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 org.eclipse.ocl.examples.debug.vm.evaluator.VMModelManager
getMetaModelManager
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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.

Method Detail

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 type
element - a potential run-time (M0) instance of that class
Returns:
true if this element is an instance of the given class; false otherwise