public static final class PKey.StringPKey extends PKey
PKey.Comparator, PKey.StringPKey, PKey.SymbolPKey
Modifier and Type | Field and Description |
---|---|
static PKey |
__PROTO__ |
static PKey |
LENGTH |
static PKey |
PROTOTYPE |
Modifier and Type | Method and Description |
---|---|
boolean |
containsObjectLabel(ObjectLabel objlabel)
Returns true if this property key contains the given object label.
|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getStr()
Returns the string.
|
int |
hashCode() |
boolean |
isMaybeValue(PKeys v)
Checks whether this property matches the given value.
|
boolean |
isNumeric()
Checks whether this property key is a numeric index.
|
static PKey.StringPKey |
make(java.lang.String str)
Constructs a property key for a fixed string property.
|
PKey.StringPKey |
replaceObjectLabel(ObjectLabel oldlabel,
ObjectLabel newlabel)
Returns a copy of this property key where the given object label has been replaced.
|
static void |
reset() |
java.util.Set<PKey> |
summarize(Summarized s)
Constructs a property key as a copy of this value but with object labels summarized.
|
java.lang.String |
toString() |
java.lang.String |
toStringEscaped()
Returns a string representation of this property key, with special characters escaped.
|
Value |
toValue()
Converts this property key to a
Value . |
public static PKey __PROTO__
public static PKey LENGTH
public static PKey PROTOTYPE
public boolean containsObjectLabel(ObjectLabel objlabel)
PKey
containsObjectLabel
in class PKey
public java.lang.String getStr()
public boolean isMaybeValue(PKeys v)
PKey
isMaybeValue
in class PKey
public boolean isNumeric()
PKey
public static PKey.StringPKey make(java.lang.String str)
public PKey.StringPKey replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel)
PKey
replaceObjectLabel
in class PKey
oldlabel
- The object label to replace.newlabel
- The object label to replace oldlabel with.public static void reset()
public java.util.Set<PKey> summarize(Summarized s)
PKey
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toStringEscaped()
PKey
toStringEscaped
in class PKey
Copyright © 2009-2019 Aarhus University