dk.brics.tajs.lattice

Class PKey.StringPKey

java.lang.Object

dk.brics.tajs.lattice.PKey

dk.brics.tajs.lattice.PKey.StringPKey

All Implemented Interfaces:

DeepImmutable

Enclosing class:

PKey

public static final class PKey.StringPKey
extends PKey

Property key for fixed string.

Nested Class Summary

Nested classes/interfaces inherited from class dk.brics.tajs.lattice.PKey

PKey.Comparator, PKey.StringPKey, PKey.SymbolPKey

Field Summary

Fields

Modifier and Type	Field and Description
static PKey	__PROTO__
static PKey	LENGTH
static PKey	PROTOTYPE

Method Summary

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.

Methods inherited from class dk.brics.tajs.lattice.PKey

make

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

__PROTO__

public static PKey __PROTO__

LENGTH

public static PKey LENGTH

PROTOTYPE

public static PKey PROTOTYPE

Method Detail

containsObjectLabel

public boolean containsObjectLabel(ObjectLabel objlabel)

Description copied from class: PKey

Returns true if this property key contains the given object label.

Specified by:

containsObjectLabel in class PKey

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class PKey

getStr

public java.lang.String getStr()

Returns the string.

hashCode

public int hashCode()

Specified by:

hashCode in class PKey

isMaybeValue

public boolean isMaybeValue(PKeys v)

Description copied from class: PKey

Checks whether this property matches the given value.

Specified by:

isMaybeValue in class PKey

isNumeric

public boolean isNumeric()

Description copied from class: PKey

Checks whether this property key is a numeric index.

Specified by:

isNumeric in class PKey

make

public static PKey.StringPKey make(java.lang.String str)

Constructs a property key for a fixed string property.

replaceObjectLabel

public PKey.StringPKey replaceObjectLabel(ObjectLabel oldlabel,
                                          ObjectLabel newlabel)

Description copied from class: PKey

Returns a copy of this property key where the given object label has been replaced.

Specified by:

replaceObjectLabel in class PKey

Parameters:

oldlabel - The object label to replace.

newlabel - The object label to replace oldlabel with.

reset

public static void reset()

summarize

public java.util.Set<PKey> summarize(Summarized s)

Description copied from class: PKey

Constructs a property key as a copy of this value but with object labels summarized.

Specified by:

summarize in class PKey

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toStringEscaped

public java.lang.String toStringEscaped()

Description copied from class: PKey

Returns a string representation of this property key, with special characters escaped.

Specified by:

toStringEscaped in class PKey

toValue

public Value toValue()

Description copied from class: PKey

Converts this property key to a Value.

Specified by:

toValue in class PKey