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.Object
public int getUniqueId()