proguard.evaluation.value

Class ArrayReferenceValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.ReferenceValue

proguard.evaluation.value.TypedReferenceValue

proguard.evaluation.value.ArrayReferenceValue

Direct Known Subclasses:

IdentifiedArrayReferenceValue

public class ArrayReferenceValue
extends TypedReferenceValue

This ReferenceValue represents a partially evaluated array. It has an array length and possibly array values (up to a fixed maximum number). It is not immutable.

Field Summary

Fields

Modifier and Type	Field and Description
protected IntegerValue	arrayLength

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
ArrayReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, IntegerValue arrayLength) Creates a new ArrayReferenceValue.

Method Summary

Modifier and Type	Method and Description
IntegerValue	arrayLength(ValueFactory valueFactory) Returns the length of the array, assuming this type is an array.
int	equal(ArrayReferenceValue other) Returns whether this ReferenceValue is equal to the given other ArrayReferenceValue.
int	equal(ReferenceValue other) Returns whether this ReferenceValue is equal to the given other ReferenceValue.
boolean	equals(java.lang.Object object)
ReferenceValue	generalize(ArrayReferenceValue other) Returns the generalization of this ReferenceValue and the given other ArrayReferenceValue.
ReferenceValue	generalize(ReferenceValue other) Returns the generalization of this ReferenceValue and the given other ReferenceValue.
int	hashCode()
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

arrayStore, computationalType, doubleArrayLoad, equal, equal, equal, equal, equal, equal, equal, floatArrayLoad, 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, isSpecific, longValue

Methods inherited from class java.lang.Object

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

Field Detail

arrayLength

protected final IntegerValue arrayLength

Constructor Detail

ArrayReferenceValue

public ArrayReferenceValue(java.lang.String type,
                           Clazz referencedClass,
                           boolean mayBeExtension,
                           IntegerValue arrayLength)

Creates a new ArrayReferenceValue.

Method Detail

arrayLength

public IntegerValue arrayLength(ValueFactory valueFactory)

Description copied from class: ReferenceValue

Returns the length of the array, assuming this type is an array.

Overrides:

arrayLength in class ReferenceValue

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.

generalize

public ReferenceValue generalize(ArrayReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

generalize in class ReferenceValue

equal

public int equal(ArrayReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

equal in class ReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

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