Package proguard.evaluation.value
Class TypedReferenceValue
- java.lang.Object
-
- proguard.evaluation.value.Value
-
- proguard.evaluation.value.Category1Value
-
- proguard.evaluation.value.ReferenceValue
-
- proguard.evaluation.value.TypedReferenceValue
-
- Direct Known Subclasses:
ArrayReferenceValue
,IdentifiedReferenceValue
public class TypedReferenceValue extends ReferenceValue
ThisReferenceValue
represents a partially evaluated reference value. It has a type and a flag that indicates whether the value could benull
. If the type isnull
, the value isnull
.
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
ALLOW_INCOMPLETE_CLASS_HIERARCHY
If true, do not throw anIncompleteClassHierarchyException
when one would occur.static boolean
INCOMPLETE_CLASS_HIERARCHY
Indicates whether there were occurrences ofIncompleteClassHierarchyException
.protected boolean
mayBeExtension
protected boolean
mayBeNull
protected Clazz
referencedClass
protected java.lang.String
type
static boolean
WARN_INCOMPLETE_CLASS_HIERARCHY
If true, print warnings for occurrences ofIncompleteClassHierarchyException
when ALLOW_INCOMPLETE_CLASS_HIERARCHY is enabled.-
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 Description TypedReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull)
Creates a new TypedReferenceValue.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static boolean
allowsIncompleteClassHierarchy()
Returns whether incomplete class hierarchies are allowed.void
arrayStore(IntegerValue indexValue, Value value)
Stores the given value at the given index in the given array, assuming this type is an array.ReferenceValue
cast(java.lang.String type, Clazz referencedClass, ValueFactory valueFactory, boolean alwaysCast)
Returns this ReferenceValue, cast to the given type.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.int
equal(TypedReferenceValue other)
Returns whether this ReferenceValue is equal to the given other TypedReferenceValue.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.ReferenceValue
generalize(TypedReferenceValue other)
Returns the generalization of this ReferenceValue and the given other TypedReferenceValue.ReferenceValue
generalizeMayBeNull(boolean mayBeNull)
Clazz
getReferencedClass()
Returns the class that is referenced by the type.java.lang.String
getType()
Returns the type.int
hashCode()
int
instanceOf(java.lang.String otherType, Clazz otherReferencedClass)
Returns whether the type is an instance of the given type.IntegerValue
integerArrayLoad(IntegerValue indexValue, ValueFactory valueFactory)
Returns the value of the array at the given index, assuming this type is an integer array.java.lang.String
internalType()
Returns the internal type of this Value.int
isNull()
Returns whether this ReferenceValue isnull
.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.boolean
mayBeExtension()
Returns whether the actual type of this ReferenceValue may be an extension of its type.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.ReferenceValue
arrayLength, computationalType, equal, equal, equal, equal, equal, equal, equal, equal, generalize, generalize, generalize, generalize, generalize, generalize, generalize, generalize, generalize, getValue, isNotNull, notEqual, referenceValue, value
-
Methods inherited from class proguard.evaluation.value.Category1Value
category1Value, isCategory2
-
Methods inherited from class proguard.evaluation.value.Value
category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, integerValue, isSpecific, longValue
-
-
-
-
Field Detail
-
INCOMPLETE_CLASS_HIERARCHY
public static boolean INCOMPLETE_CLASS_HIERARCHY
Indicates whether there were occurrences ofIncompleteClassHierarchyException
.
-
ALLOW_INCOMPLETE_CLASS_HIERARCHY
public static boolean ALLOW_INCOMPLETE_CLASS_HIERARCHY
If true, do not throw anIncompleteClassHierarchyException
when one would occur.
-
WARN_INCOMPLETE_CLASS_HIERARCHY
public static boolean WARN_INCOMPLETE_CLASS_HIERARCHY
If true, print warnings for occurrences ofIncompleteClassHierarchyException
when ALLOW_INCOMPLETE_CLASS_HIERARCHY is enabled.
-
type
protected final java.lang.String type
-
referencedClass
protected final Clazz referencedClass
-
mayBeExtension
protected final boolean mayBeExtension
-
mayBeNull
protected final boolean mayBeNull
-
-
Constructor Detail
-
TypedReferenceValue
public TypedReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull)
Creates a new TypedReferenceValue.
-
-
Method Detail
-
getType
public java.lang.String getType()
Description copied from class:ReferenceValue
Returns the type.- Specified by:
getType
in classReferenceValue
-
getReferencedClass
public Clazz getReferencedClass()
Description copied from class:ReferenceValue
Returns the class that is referenced by the type.- Specified by:
getReferencedClass
in classReferenceValue
-
mayBeExtension
public boolean mayBeExtension()
Description copied from class:ReferenceValue
Returns whether the actual type of this ReferenceValue may be an extension of its type.- Specified by:
mayBeExtension
in classReferenceValue
-
isNull
public int isNull()
Description copied from class:ReferenceValue
Returns whether this ReferenceValue isnull
.- Specified by:
isNull
in classReferenceValue
- Returns:
NEVER
,MAYBE
, orALWAYS
.
-
instanceOf
public int instanceOf(java.lang.String otherType, Clazz otherReferencedClass)
Description copied from class:ReferenceValue
Returns whether the type is an instance of the given type.- Specified by:
instanceOf
in classReferenceValue
-
cast
public ReferenceValue cast(java.lang.String type, Clazz referencedClass, ValueFactory valueFactory, boolean alwaysCast)
Description copied from class:ReferenceValue
Returns this ReferenceValue, cast to the given type.- Specified by:
cast
in classReferenceValue
-
generalizeMayBeNull
public ReferenceValue generalizeMayBeNull(boolean mayBeNull)
-
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 classReferenceValue
-
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 classReferenceValue
-
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 classReferenceValue
- Returns:
NEVER
,MAYBE
, orALWAYS
.
-
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 classReferenceValue
-
allowsIncompleteClassHierarchy
public static boolean allowsIncompleteClassHierarchy()
Returns whether incomplete class hierarchies are allowed.
-
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 classReferenceValue
-
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 classReferenceValue
-
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 classReferenceValue
-
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 classReferenceValue
-
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 classReferenceValue
-
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 classReferenceValue
- Returns:
NEVER
,MAYBE
, orALWAYS
.
-
isParticular
public boolean isParticular()
Description copied from class:Value
Returns whether this Value represents a single particular (known) value.- Overrides:
isParticular
in classValue
-
internalType
public final java.lang.String internalType()
Description copied from class:Value
Returns the internal type of this Value.- Specified by:
internalType
in classValue
- Returns:
TypeConstants.BOOLEAN
,TypeConstants.BYTE
,TypeConstants.CHAR
,TypeConstants.SHORT
,TypeConstants.INT
,TypeConstants.LONG
,TypeConstants.FLOAT
,TypeConstants.DOUBLE
,TypeConstants.CLASS_START ... TypeConstants.CLASS_END
, or an array type containing any of these types (always as String).
-
equals
public boolean equals(java.lang.Object object)
- Overrides:
equals
in classReferenceValue
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classReferenceValue
-
toString
public java.lang.String toString()
- Overrides:
toString
in classReferenceValue
-
-