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

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

All Implemented Interfaces:

ModelManager

public class PivotModelManager
extends LazyModelManager

Field Summary

protected TypeManager

typeManager

Fields inherited from interface org.eclipse.ocl.examples.pivot.evaluation.ModelManager

NULL

Constructor Summary

PivotModelManager(TypeManager typeManager, org.eclipse.emf.ecore.EObject context)

Method Summary

protected boolean

isInstance(Type 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.pivot.evaluation.LazyModelManager

get, toString

Methods inherited from class java.lang.Object

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

Field Detail

typeManager

protected final TypeManager typeManager

Constructor Detail

PivotModelManager

public PivotModelManager(TypeManager typeManager,
                         org.eclipse.emf.ecore.EObject context)

Method Detail

isInstance

protected boolean isInstance(Type 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