proguard.evaluation.value

Class IdentifiedReferenceValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.ReferenceValue

proguard.evaluation.value.TypedReferenceValue

proguard.evaluation.value.IdentifiedReferenceValue

Direct Known Subclasses:

ParticularReferenceValue

public class IdentifiedReferenceValue
extends TypedReferenceValue

This ReferenceValue represents a reference value that is identified by a unique ID.

Field Summary

Fields inherited from class proguard.evaluation.value.TypedReferenceValue

mayBeExtension, mayBeNull, referencedClass, type

Fields inherited from class proguard.evaluation.value.Value

ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP

Constructor Summary

Constructors

Constructor and Description
IdentifiedReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, ValueFactory valuefactory, int id) Creates a new reference value with the given ID.

Method Summary

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(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()

Methods inherited from class proguard.evaluation.value.TypedReferenceValue

cast, equal, generalize, generalizeMayBeNull, getReferencedClass, getType, instanceOf, internalType, isNull, isParticular, mayBeExtension, referenceArrayLoad

Methods inherited from class proguard.evaluation.value.ReferenceValue

arrayLength, arrayStore, computationalType, doubleArrayLoad, equal, equal, equal, equal, equal, equal, equal, floatArrayLoad, generalize, generalize, generalize, generalize, generalize, generalize, generalize, generalize, generalize, integerArrayLoad, isNotNull, longArrayLoad, notEqual, referenceValue, value

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

category2Value, doubleValue, floatValue, instructionOffsetValue, integerValue, longValue

Methods inherited from class java.lang.Object

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

Constructor Detail

IdentifiedReferenceValue

public IdentifiedReferenceValue(java.lang.String type,
                                Clazz referencedClass,
                                boolean mayBeExtension,
                                boolean mayBeNull,
                                ValueFactory valuefactory,
                                int id)

Creates a new reference value with the given ID.

Method Detail

generalize

public ReferenceValue generalize(ReferenceValue other)

Description copied from class: ReferenceValue

Returns the generalization of this ReferenceValue and the given other ReferenceValue.

Overrides:

generalize in class TypedReferenceValue

equal

public int equal(ReferenceValue other)

Description copied from class: ReferenceValue

Returns whether this ReferenceValue is equal to the given other ReferenceValue.

Overrides:

equal in class TypedReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

equal

public int equal(IdentifiedReferenceValue other)

Description copied from class: ReferenceValue

Returns whether this ReferenceValue is equal to the given other IdentifiedReferenceValue.

Overrides:

equal in class ReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

isSpecific

public boolean isSpecific()

Description copied from class: Value

Returns whether this Value represents a single specific (but possibly unknown) value.

Overrides:

isSpecific in class Value

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class TypedReferenceValue

hashCode

public int hashCode()

Overrides:

hashCode in class TypedReferenceValue

toString

public java.lang.String toString()

Overrides:

toString in class TypedReferenceValue