Class EClassExactInstancesKey
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.context.common.BaseInputKeyWrapper<EMFKey>
-
- org.eclipse.viatra.query.runtime.emf.types.BaseEMFTypeKey<org.eclipse.emf.ecore.EClass>
-
- org.eclipse.viatra.query.runtime.emf.types.EClassExactInstancesKey
-
- All Implemented Interfaces:
IInputKey
public class EClassExactInstancesKey extends BaseEMFTypeKey<org.eclipse.emf.ecore.EClass>
Instance tuples are of form (x), where x is an eObject instance of the given eClass, but not one of its subclasses, within the scope.This input key has the strict semantics that instances must be within the scope.
- Since:
- 2.1
- No Reference:
- This class is not intended to be referenced by clients. Not currently supported by
EMFScope
, for internal use only at the time
-
-
Field Summary
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.context.common.BaseInputKeyWrapper
wrappedKey
-
-
Constructor Summary
Constructors Constructor Description EClassExactInstancesKey(org.eclipse.emf.ecore.EClass emfKey)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getArity()
The width of tuples in this relation.java.lang.String
getPrettyPrintableName()
A user-friendly name that can be shown on screen for debug purposes, included in exceptions, etc.java.lang.String
getStringID()
An internal string identifier that can be used to uniquely identify to input key (relevant for distributed applications).boolean
isEnumerable()
Returns true iff instance tuples of the key can be enumerated.-
Methods inherited from class org.eclipse.viatra.query.runtime.emf.types.BaseEMFTypeKey
getEmfKey, toString
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.context.common.BaseInputKeyWrapper
equals, getWrappedKey, hashCode
-
-
-
-
Method Detail
-
getPrettyPrintableName
public java.lang.String getPrettyPrintableName()
Description copied from interface:IInputKey
A user-friendly name that can be shown on screen for debug purposes, included in exceptions, etc.
-
getStringID
public java.lang.String getStringID()
Description copied from interface:IInputKey
An internal string identifier that can be used to uniquely identify to input key (relevant for distributed applications).
-
getArity
public int getArity()
Description copied from interface:IInputKey
The width of tuples in this relation.
-
isEnumerable
public boolean isEnumerable()
Description copied from interface:IInputKey
Returns true iff instance tuples of the key can be enumerated.If false, the runtime can only test tuple membership in the extensional relation identified by the key, but not enumerate member tuples in general.
-
-