Class BottomTypeKey
- java.lang.Object
-
- org.eclipse.viatra.query.patternlanguage.emf.types.BottomTypeKey
-
- All Implemented Interfaces:
IInputKey
public final class BottomTypeKey extends java.lang.Object implements IInputKey
A type key representing an erroneous type, e.g. the result of contradictory type constraints. Bottom does not conform to any available type, but is the subclass to all of them.- Since:
- 2.0
-
-
Field Summary
Fields Modifier and Type Field Description static BottomTypeKeyINSTANCE
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intgetArity()The width of tuples in this relation.java.lang.StringgetPrettyPrintableName()A user-friendly name that can be shown on screen for debug purposes, included in exceptions, etc.java.lang.StringgetStringID()An internal string identifier that can be used to uniquely identify to input key (relevant for distributed applications).booleanisEnumerable()Returns true iff instance tuples of the key can be enumerated.
-
-
-
Field Detail
-
INSTANCE
public static final BottomTypeKey INSTANCE
-
-
Method Detail
-
isEnumerable
public boolean isEnumerable()
Description copied from interface:IInputKeyReturns 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.
- Specified by:
isEnumerablein interfaceIInputKey
-
getStringID
public java.lang.String getStringID()
Description copied from interface:IInputKeyAn internal string identifier that can be used to uniquely identify to input key (relevant for distributed applications).- Specified by:
getStringIDin interfaceIInputKey
-
getPrettyPrintableName
public java.lang.String getPrettyPrintableName()
Description copied from interface:IInputKeyA user-friendly name that can be shown on screen for debug purposes, included in exceptions, etc.- Specified by:
getPrettyPrintableNamein interfaceIInputKey
-
-