proguard.evaluation.value

Class TypedReferenceValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.ReferenceValue

proguard.evaluation.value.TypedReferenceValue

public class TypedReferenceValue
extends ReferenceValue

This ReferenceValue represents a partially evaluated reference value. It has a type and a flag that indicates whether the value could be null. If the type is null, the value is null.

Author:

Eric Lafortune

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	mayBeNull
protected Clazz	referencedClass
protected String	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
TypedReferenceValue(String type, Clazz referencedClass, boolean mayBeNull) Creates a new TypedReferenceValue.

Method Summary

Methods

Modifier and Type	Method and Description
int	equal(proguard.evaluation.value.ArrayReferenceValue other) Returns whether this ReferenceValue is equal to the given other ArrayReferenceValue.
int	equal(proguard.evaluation.value.DetailedArrayReferenceValue other) Returns whether this ReferenceValue is equal to the given other DetailedArrayReferenceValue.
int	equal(proguard.evaluation.value.IdentifiedArrayReferenceValue other) Returns whether this ReferenceValue is equal to the given other IdentifiedArrayReferenceValue.
int	equal(proguard.evaluation.value.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.
int	equal(TypedReferenceValue other) Returns whether this ReferenceValue is equal to the given other TypedReferenceValue.
boolean	equals(Object object)
ReferenceValue	generalize(proguard.evaluation.value.ArrayReferenceValue other) Returns the generalization of this ReferenceValue and the given other ArrayReferenceValue.
ReferenceValue	generalize(proguard.evaluation.value.DetailedArrayReferenceValue other) Returns the generalization of this ReferenceValue and the given other DetailedArrayReferenceValue.
ReferenceValue	generalize(proguard.evaluation.value.IdentifiedArrayReferenceValue other) Returns the generalization of this ReferenceValue and the given other IdentifiedArrayReferenceValue.
ReferenceValue	generalize(proguard.evaluation.value.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.
ReferenceValue	generalize(TypedReferenceValue other) Returns the generalization of this ReferenceValue and the given other TypedReferenceValue.
ReferenceValue	generalizeMayBeNull(boolean mayBeNull) Returns a generalization of this ReferenceValue that may be null, depending on the flag.
Clazz	getReferencedClass() Returns the class that is referenced by the type.
String	getType() Returns the type.
int	hashCode()
int	instanceOf(String otherType, Clazz otherReferencedClass) Returns whether the type is an instance of the given type.
String	internalType() Returns the internal type of this Value.
int	isNull() Returns whether the type is null.
boolean	isParticular() Returns whether this Value represents a single particular (known) value.
ReferenceValue	referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory) Returns the value of the array at the given index, assuming this type is a reference array.
String	toString()

Methods inherited from class proguard.evaluation.value.ReferenceValue

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

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

type

protected final String type

referencedClass

protected final Clazz referencedClass

mayBeNull

protected final boolean mayBeNull

Constructor Detail

TypedReferenceValue

public TypedReferenceValue(String type,
                   Clazz referencedClass,
                   boolean mayBeNull)

Creates a new TypedReferenceValue.

Method Detail

getType

public String getType()

Description copied from class: ReferenceValue

Returns the type.

Specified by:

getType in class ReferenceValue

getReferencedClass

public Clazz getReferencedClass()

Description copied from class: ReferenceValue

Returns the class that is referenced by the type.

Specified by:

getReferencedClass in class ReferenceValue

isNull

public int isNull()

Description copied from class: ReferenceValue

Returns whether the type is null.

Specified by:

isNull in class ReferenceValue

instanceOf

public int instanceOf(String otherType,
             Clazz otherReferencedClass)

Description copied from class: ReferenceValue

Returns whether the type is an instance of the given type.

Specified by:

instanceOf in class ReferenceValue

generalizeMayBeNull

public ReferenceValue generalizeMayBeNull(boolean mayBeNull)

Description copied from class: ReferenceValue

Returns a generalization of this ReferenceValue that may be null, depending on the flag.

Specified by:

generalizeMayBeNull 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.

Specified by:

referenceArrayLoad 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.

Specified by:

generalize in class ReferenceValue

equal

public int equal(ReferenceValue other)

Description copied from class: ReferenceValue

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

Specified by:

equal in class ReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

generalize

public ReferenceValue generalize(TypedReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

generalize in class ReferenceValue

equal

public int equal(TypedReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

equal in class ReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

generalize

public ReferenceValue generalize(proguard.evaluation.value.IdentifiedReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

generalize in class ReferenceValue

equal

public int equal(proguard.evaluation.value.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.

generalize

public ReferenceValue generalize(proguard.evaluation.value.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(proguard.evaluation.value.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.

generalize

public ReferenceValue generalize(proguard.evaluation.value.IdentifiedArrayReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

generalize in class ReferenceValue

equal

public int equal(proguard.evaluation.value.IdentifiedArrayReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

equal in class ReferenceValue

Returns:

NEVER, MAYBE, or ALWAYS.

generalize

public ReferenceValue generalize(proguard.evaluation.value.DetailedArrayReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

generalize in class ReferenceValue

equal

public int equal(proguard.evaluation.value.DetailedArrayReferenceValue other)

Description copied from class: ReferenceValue

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

Overrides:

equal in class ReferenceValue

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 Value

internalType

public final String internalType()

Description copied from class: Value

Returns the internal type of this Value.

Specified by:

internalType in class Value

Returns:

ClassConstants.TYPE_BOOLEAN, ClassConstants.TYPE_BYTE, ClassConstants.TYPE_CHAR, ClassConstants.TYPE_SHORT, ClassConstants.TYPE_INT, ClassConstants.TYPE_LONG, ClassConstants.TYPE_FLOAT, ClassConstants.TYPE_DOUBLE, ClassConstants.TYPE_CLASS_START ... ClassConstants.TYPE_CLASS_END, or an array type containing any of these types (always as String).

equals

public boolean equals(Object object)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object