public abstract class LazyModelManager extends java.lang.Object implements DomainModelManager
Note that this implementation violates the contract of the
Map
API as follows:
Map.entrySet()
method does not return entries
for any keys that have not already been queried via the
Map.get(java.lang.Object)
methodMap.keySet()
and Map.values()
methods also are not complete
See the Environment
class for a description of the
generic type parameters of this class.
NULL
Constructor and Description |
---|
LazyModelManager(org.eclipse.emf.ecore.EObject context)
Initializes me with the context element of an OCL
expression evaluation.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.eclipse.emf.ecore.EObject> |
get(DomainType type)
Lazily computes the extent of the specified class
key . |
protected abstract boolean |
isInstance(DomainType type,
org.eclipse.emf.ecore.EObject element)
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.
|
java.lang.String |
toString() |
public LazyModelManager(org.eclipse.emf.ecore.EObject context)
context
- my context element@NonNull public java.util.Set<org.eclipse.emf.ecore.EObject> get(@NonNull DomainType type)
key
.get
in interface DomainModelManager
key
- a class in the modelprotected abstract boolean isInstance(@NonNull DomainType type, @NonNull org.eclipse.emf.ecore.EObject element)
cls
- a class in the modelelement
- a potential run-time (M0) instance of that classtrue
if this element is an instance of the given
class; false
otherwisepublic java.lang.String toString()
toString
in class java.lang.Object