public class IdentifiedReferenceValue extends TypedReferenceValue
ReferenceValue
represents a reference value that is identified by a
unique ID.Modifier and Type | Field and Description |
---|---|
java.lang.Object |
id |
mayBeExtension, mayBeNull, referencedClass, type
ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP, TYPE_UNKNOWN
Constructor and Description |
---|
IdentifiedReferenceValue(java.lang.String type,
Clazz referencedClass,
boolean mayBeExtension,
boolean mayBeNull,
ValueFactory valuefactory,
java.lang.Object id)
Creates a new reference value with the given ID.
|
Modifier and Type | Method and Description |
---|---|
int |
equal(IdentifiedReferenceValue other)
Returns whether this ReferenceValue is equal to the given other
IdentifiedReferenceValue.
|
int |
equal(ReferenceValue other)
Returns whether this ReferenceValue is equal to the given other
ReferenceValue.
|
boolean |
equals(java.lang.Object object) |
ReferenceValue |
generalize(IdentifiedReferenceValue other)
Returns the generalization of this ReferenceValue and the given other
IdentifiedReferenceValue.
|
ReferenceValue |
generalize(ReferenceValue other)
Returns the generalization of this ReferenceValue and the given other
ReferenceValue.
|
int |
hashCode() |
boolean |
isSpecific()
Returns whether this Value represents a single specific (but possibly
unknown) value.
|
java.lang.String |
toString() |
allowsIncompleteClassHierarchy, arrayStore, cast, doubleArrayLoad, equal, floatArrayLoad, generalize, generalizeMayBeNull, getReferencedClass, getType, instanceOf, integerArrayLoad, internalType, isNull, isParticular, longArrayLoad, mayBeExtension, referenceArrayLoad
arrayLength, computationalType, equal, equal, equal, equal, equal, equal, equal, generalize, generalize, generalize, generalize, generalize, generalize, generalize, generalize, isNotNull, notEqual, referenceValue, value
category1Value, isCategory2
category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, integerValue, longValue
public IdentifiedReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, ValueFactory valuefactory, java.lang.Object id)
public ReferenceValue generalize(ReferenceValue other)
ReferenceValue
generalize
in class TypedReferenceValue
public int equal(ReferenceValue other)
ReferenceValue
equal
in class TypedReferenceValue
NEVER
, MAYBE
, or ALWAYS
.public ReferenceValue generalize(IdentifiedReferenceValue other)
ReferenceValue
generalize
in class ReferenceValue
public int equal(IdentifiedReferenceValue other)
ReferenceValue
equal
in class ReferenceValue
NEVER
, MAYBE
, or ALWAYS
.public boolean isSpecific()
Value
isSpecific
in class Value
public boolean equals(java.lang.Object object)
equals
in class TypedReferenceValue
public int hashCode()
hashCode
in class TypedReferenceValue
public java.lang.String toString()
toString
in class TypedReferenceValue