ReferenceValue ([net.sf.proguard] proguard-base 5.1 API)

java.lang.Object
- proguard.evaluation.value.Value
- - proguard.evaluation.value.Category1Value
  - - proguard.evaluation.value.ReferenceValue

Direct Known Subclasses:

TypedReferenceValue
```
public abstract class ReferenceValue
extends Category1Value
```
This class represents a partially evaluated reference value.

Author:

Eric Lafortune

Field Summary
- 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

ReferenceValue()

Constructors
Constructor and Description
`ReferenceValue()`

Method Summary

Methods
Modifier and Type	Method and Description
`IntegerValue`	`arrayLength(ValueFactory valueFactory)` Returns the length of the array, assuming this type is an array.
`void`	`arrayStore(IntegerValue indexValue, Value value)` Stores the given value at the given index in the given array, assuming this type is an array.
`int`	`computationalType()` Returns the computational type of this Value.
`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(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.
`abstract 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.
`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(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.
`abstract 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.
`Value`	`generalize(Value other)` Returns the generalization of this Value and the given other Value.
`abstract ReferenceValue`	`generalizeMayBeNull(boolean mayBeNull)` Returns a generalization of this ReferenceValue that may be null, depending on the flag.
`abstract Clazz`	`getReferencedClass()` Returns the class that is referenced by the type.
`abstract String`	`getType()` Returns the type.
`abstract int`	`instanceOf(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.
`int`	`isNotNull()` Returns whether this ReferenceValue is not `null`.
`abstract int`	`isNull()` Returns whether the type is `null`.
`LongValue`	`longArrayLoad(IntegerValue indexValue, ValueFactory valueFactory)` Returns the value of the array at the given index, assuming this type is an long array.
`int`	`notEqual(ReferenceValue other)` Returns whether this ReferenceValue and the given ReferenceValue are different.
`abstract ReferenceValue`	`referenceArrayLoad(IntegerValue indexValue, ValueFactory valueFactory)` Returns the value of the array at the given index, assuming this type is a reference array.
`ReferenceValue`	`referenceValue()` Returns this Value as a ReferenceValue.

Methods inherited from class proguard.evaluation.value.Category1Value
category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value
category2Value, doubleValue, floatValue, instructionOffsetValue, integerValue, internalType, isParticular, isSpecific, longValue

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ReferenceValue
```
public ReferenceValue()
```
- Method Detail
  - getType
```
public abstract String getType()
```
    Returns the type.
  - getReferencedClass
```
public abstract Clazz getReferencedClass()
```
    Returns the class that is referenced by the type.
  - isNull
```
public abstract int isNull()
```
    Returns whether the type is null.
  - instanceOf
```
public abstract int instanceOf(String otherType,
             Clazz otherReferencedClass)
```
    Returns whether the type is an instance of the given type.
  - generalizeMayBeNull
```
public abstract ReferenceValue generalizeMayBeNull(boolean mayBeNull)
```
    Returns a generalization of this ReferenceValue that may be null, depending on the flag.
  - arrayLength
```
public IntegerValue arrayLength(ValueFactory valueFactory)
```
    Returns the length of the array, assuming this type is an array.
  - integerArrayLoad
```
public IntegerValue integerArrayLoad(IntegerValue indexValue,
                            ValueFactory valueFactory)
```
    Returns the value of the array at the given index, assuming this type is an integer array.
  - longArrayLoad
```
public LongValue longArrayLoad(IntegerValue indexValue,
                      ValueFactory valueFactory)
```
    Returns the value of the array at the given index, assuming this type is an long array.
  - floatArrayLoad
```
public FloatValue floatArrayLoad(IntegerValue indexValue,
                        ValueFactory valueFactory)
```
    Returns the value of the array at the given index, assuming this type is an float array.
  - doubleArrayLoad
```
public DoubleValue doubleArrayLoad(IntegerValue indexValue,
                          ValueFactory valueFactory)
```
    Returns the value of the array at the given index, assuming this type is an double array.
  - referenceArrayLoad
```
public abstract ReferenceValue referenceArrayLoad(IntegerValue indexValue,
                                ValueFactory valueFactory)
```
    Returns the value of the array at the given index, assuming this type is a reference array.
  - arrayStore
```
public void arrayStore(IntegerValue indexValue,
              Value value)
```
    Stores the given value at the given index in the given array, assuming this type is an array.
  - generalize
```
public abstract ReferenceValue generalize(ReferenceValue other)
```
    Returns the generalization of this ReferenceValue and the given other ReferenceValue.
  - equal
```
public abstract int equal(ReferenceValue other)
```
    Returns whether this ReferenceValue is equal to the given other ReferenceValue.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - isNotNull
```
public final int isNotNull()
```
    Returns whether this ReferenceValue is not null.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - notEqual
```
public final int notEqual(ReferenceValue other)
```
    Returns whether this ReferenceValue and the given ReferenceValue are different.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - generalize
```
public ReferenceValue generalize(TypedReferenceValue other)
```
    Returns the generalization of this ReferenceValue and the given other TypedReferenceValue.
  - equal
```
public int equal(TypedReferenceValue other)
```
    Returns whether this ReferenceValue is equal to the given other TypedReferenceValue.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - generalize
```
public ReferenceValue generalize(proguard.evaluation.value.IdentifiedReferenceValue other)
```
    Returns the generalization of this ReferenceValue and the given other IdentifiedReferenceValue.
  - equal
```
public int equal(proguard.evaluation.value.IdentifiedReferenceValue other)
```
    Returns whether this ReferenceValue is equal to the given other IdentifiedReferenceValue.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - generalize
```
public ReferenceValue generalize(proguard.evaluation.value.ArrayReferenceValue other)
```
    Returns the generalization of this ReferenceValue and the given other ArrayReferenceValue.
  - equal
```
public int equal(proguard.evaluation.value.ArrayReferenceValue other)
```
    Returns whether this ReferenceValue is equal to the given other ArrayReferenceValue.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - generalize
```
public ReferenceValue generalize(proguard.evaluation.value.IdentifiedArrayReferenceValue other)
```
    Returns the generalization of this ReferenceValue and the given other IdentifiedArrayReferenceValue.
  - equal
```
public int equal(proguard.evaluation.value.IdentifiedArrayReferenceValue other)
```
    Returns whether this ReferenceValue is equal to the given other IdentifiedArrayReferenceValue.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - generalize
```
public ReferenceValue generalize(proguard.evaluation.value.DetailedArrayReferenceValue other)
```
    Returns the generalization of this ReferenceValue and the given other DetailedArrayReferenceValue.
  - equal
```
public int equal(proguard.evaluation.value.DetailedArrayReferenceValue other)
```
    Returns whether this ReferenceValue is equal to the given other DetailedArrayReferenceValue.
    
    Returns:
    NEVER, MAYBE, or ALWAYS.
  - referenceValue
```
public final ReferenceValue referenceValue()
```
    Description copied from class: Value
    
    Returns this Value as a ReferenceValue.
    
    Overrides:
    
    referenceValue in class Value
  - generalize
```
public final Value generalize(Value other)
```
    Description copied from class: Value
    
    Returns the generalization of this Value and the given other Value.
    
    Specified by:
    
    generalize in class Value
  - computationalType
```
public final int computationalType()
```
    Description copied from class: Value
    
    Returns the computational type of this Value.
    
    Specified by:
    
    computationalType in class Value
    
    Returns:
    TYPE_INTEGER, TYPE_LONG, TYPE_FLOAT, TYPE_DOUBLE, TYPE_REFERENCE, or TYPE_INSTRUCTION_OFFSET.

Class ReferenceValue

Field Summary

Fields inherited from class proguard.evaluation.value.Value

Constructor Summary

Method Summary

Methods inherited from class proguard.evaluation.value.Category1Value

Methods inherited from class proguard.evaluation.value.Value

Methods inherited from class java.lang.Object

Constructor Detail

ReferenceValue

Method Detail

getType

getReferencedClass

isNull

instanceOf

generalizeMayBeNull

arrayLength

integerArrayLoad

longArrayLoad

floatArrayLoad

doubleArrayLoad

referenceArrayLoad

arrayStore

generalize

equal

isNotNull

notEqual

generalize

equal

generalize

equal

generalize

equal

generalize

equal

generalize

equal

referenceValue

generalize

computationalType