proguard.evaluation.value

Class DetailedArrayReferenceValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.ReferenceValue

proguard.evaluation.value.TypedReferenceValue

proguard.evaluation.value.ArrayReferenceValue

proguard.evaluation.value.IdentifiedArrayReferenceValue

proguard.evaluation.value.DetailedArrayReferenceValue

public class DetailedArrayReferenceValue
extends IdentifiedArrayReferenceValue

This IdentifiedArrayReferenceValue represents an identified array reference value with its elements.

Field Summary

Fields inherited from class proguard.evaluation.value.IdentifiedArrayReferenceValue

id, valuefactory

Fields inherited from class proguard.evaluation.value.ArrayReferenceValue

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, TYPE_UNKNOWN

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	arrayStore(IntegerValue indexValue, Value value) Stores the given value at the given index in the given array, assuming this type is an array.
DetailedArrayReferenceValue	copyIfMutable() Creates a deep copy of the DetailedArrayReferenceValue.
DoubleValue	doubleArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) Returns the value of the array at the given index, assuming this type is an double array.
int	equal(ReferenceValue other) Returns whether this ReferenceValue is equal to the given other ReferenceValue.
boolean	equals(java.lang.Object object)
FloatValue	floatArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) Returns the value of the array at the given index, assuming this type is an float array.
ReferenceValue	generalize(ReferenceValue other) Returns the generalization of this ReferenceValue and the given other ReferenceValue.
int	hashCode()
IntegerValue	integerArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) Returns the value of the array at the given index, assuming this type is an integer array.
boolean	isParticular() Returns whether this Value represents a single particular (known) value.
LongValue	longArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) Returns the value of the array at the given index, assuming this type is an long array.
ReferenceValue	referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) Returns the value of the array at the given index, assuming this type is a reference array.
java.lang.String	toString()

Methods inherited from class proguard.evaluation.value.IdentifiedArrayReferenceValue

equal, isSpecific

Methods inherited from class proguard.evaluation.value.ArrayReferenceValue

arrayLength, equal, generalize

Methods inherited from class proguard.evaluation.value.TypedReferenceValue

allowsIncompleteClassHierarchy, cast, equal, generalize, generalizeMayBeNull, getReferencedClass, getType, instanceOf, internalType, isNull, mayBeExtension

Methods inherited from class proguard.evaluation.value.ReferenceValue

computationalType, equal, equal, equal, equal, equal, equal, generalize, generalize, generalize, generalize, generalize, generalize, generalize, generalize, isNotNull, 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

DetailedArrayReferenceValue

public DetailedArrayReferenceValue(java.lang.String type,
                                   Clazz referencedClass,
                                   boolean mayBeExtension,
                                   IntegerValue arrayLength,
                                   ValueFactory valuefactory,
                                   int id)

Creates a new array reference value with the given ID.

Method Detail

integerArrayLoad

public IntegerValue integerArrayLoad(IntegerValue indexValue,
                                     ValueFactory valueFactory)

Description copied from class: ReferenceValue

Returns the value of the array at the given index, assuming this type is an integer array.

Overrides:

integerArrayLoad in class ReferenceValue

longArrayLoad

public LongValue longArrayLoad(IntegerValue indexValue,
                               ValueFactory valueFactory)

Description copied from class: ReferenceValue

Returns the value of the array at the given index, assuming this type is an long array.

Overrides:

longArrayLoad in class ReferenceValue

floatArrayLoad

public FloatValue floatArrayLoad(IntegerValue indexValue,
                                 ValueFactory valueFactory)

Description copied from class: ReferenceValue

Returns the value of the array at the given index, assuming this type is an float array.

Overrides:

floatArrayLoad in class ReferenceValue

doubleArrayLoad

public DoubleValue doubleArrayLoad(IntegerValue indexValue,
                                   ValueFactory valueFactory)

Description copied from class: ReferenceValue

Returns the value of the array at the given index, assuming this type is an double array.

Overrides:

doubleArrayLoad in class ReferenceValue

referenceArrayLoad

public ReferenceValue referenceArrayLoad(IntegerValue indexValue,
                                         ValueFactory valueFactory)

Description copied from class: ReferenceValue

Returns the value of the array at the given index, assuming this type is a reference array.

Overrides:

referenceArrayLoad in class TypedReferenceValue

arrayStore

public void arrayStore(IntegerValue indexValue,
                       Value value)

Description copied from class: ReferenceValue

Stores the given value at the given index in the given array, assuming this type is an array.

Overrides:

arrayStore 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 IdentifiedArrayReferenceValue

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 IdentifiedArrayReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

isParticular

public boolean isParticular()

Description copied from class: Value

Returns whether this Value represents a single particular (known) value.

Overrides:

isParticular in class TypedReferenceValue

copyIfMutable

public DetailedArrayReferenceValue copyIfMutable()

Creates a deep copy of the DetailedArrayReferenceValue.

Overrides:

copyIfMutable in class Value

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class IdentifiedArrayReferenceValue

hashCode

public int hashCode()

Overrides:

hashCode in class IdentifiedArrayReferenceValue

toString

public java.lang.String toString()

Overrides:

toString in class IdentifiedArrayReferenceValue