public class SemKey<T extends SemElement>
extends java.lang.Object
SemElement.
Use createKey(String, SemKey[]) to create a new "root" key, on which you can attach "sub"-keys via
subKey(String, SemKey[]).| Modifier and Type | Method and Description |
|---|---|
static <T extends SemElement> |
createKey(java.lang.String debugName,
SemKey<? super T>... supers) |
java.util.List<SemKey<?>> |
getInheritors() |
SemKey<? super T> [] |
getSupers() |
int |
getUniqueId() |
int |
hashCode() |
boolean |
isKindOf(SemKey<?> another) |
<K extends T> |
subKey(java.lang.String debugName,
SemKey<? super T>... otherSupers) |
java.lang.String |
toString() |
public java.util.List<SemKey<?>> getInheritors()
public boolean isKindOf(SemKey<?> another)
public java.lang.String toString()
toString in class java.lang.Object@SafeVarargs public static <T extends SemElement> SemKey<T> createKey(java.lang.String debugName, SemKey<? super T>... supers)
public int hashCode()
hashCode in class java.lang.Objectpublic int getUniqueId()