org.eclipse.ocl.examples.pivot.evaluation
Class PivotModelManager

java.lang.Object
  org.eclipse.ocl.examples.library.executor.LazyModelManager
      org.eclipse.ocl.examples.pivot.evaluation.PivotModelManager

All Implemented Interfaces:

DomainModelManager

public class PivotModelManager
extends LazyModelManager

Field Summary

protected MetaModelManager

metaModelManager

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

NULL

Constructor Summary

PivotModelManager(MetaModelManager metaModelManager, org.eclipse.emf.ecore.EObject context)

Method Summary

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.library.executor.LazyModelManager

get, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

metaModelManager

protected final MetaModelManager metaModelManager

Constructor Detail

PivotModelManager

public PivotModelManager(MetaModelManager metaModelManager,
                         org.eclipse.emf.ecore.EObject context)

Method Detail

isInstance

protected boolean isInstance(DomainType requiredType,
                             org.eclipse.emf.ecore.EObject eObject)

Description copied from class: LazyModelManager

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.

Specified by:

isInstance in class LazyModelManager

eObject - a potential run-time (M0) instance of that class

Returns:

true if this element is an instance of the given class; false otherwise