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

```
public class MultiTypedReferenceValue
extends ReferenceValue
```
This TypedReferenceValue can have multiple potential types during runtime. E.g. when evaluating SuperClass s = someFlag ? new A() : new B(), s may be of type LA; or LB;.

Field Summary

Fields
Modifier and Type Field Description

boolean mayBeUnknown
- 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
`MultiTypedReferenceValue(java.util.Set<TypedReferenceValue> potentialTypes, boolean mayBeUnknown)`
`MultiTypedReferenceValue(TypedReferenceValue type, boolean mayBeUnknown)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ReferenceValue`	`cast(java.lang.String type, Clazz referencedClass, ValueFactory valueFactory, boolean alwaysCast)`	Returns this ReferenceValue, cast to the given type.
`int`	`equal(MultiTypedReferenceValue other)`	Returns whether this `ReferenceValue` is equal to the given other `MultiTypedReferenceValue`.
`int`	`equal(ReferenceValue other)`	Returns whether this ReferenceValue is equal to the given other ReferenceValue.
`boolean`	`equals(java.lang.Object o)`
`TypedReferenceValue`	`generalize(java.util.Set<TypedReferenceValue> potentialTypes)`
`ReferenceValue`	`generalize(MultiTypedReferenceValue other)`	Returns the generalization of this `ReferenceValue` and the given other `MultiTypedReferenceValue`.
`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`	`generalize(UnknownReferenceValue other)`	Returns the generalization of this ReferenceValue and the given other UnknownReferenceValue.
`TypedReferenceValue`	`getGeneralizedType()`
`java.util.Set<TypedReferenceValue>`	`getPotentialTypes()`
`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.
`java.lang.String`	`internalType()`	Returns the internal type of this Value.
`int`	`isNull()`	Returns whether this ReferenceValue is `null`.
`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, arrayStore, computationalType, doubleArrayLoad, equal, equal, equal, equal, equal, equal, equal, equal, floatArrayLoad, generalize, generalize, generalize, generalize, generalize, generalize, generalize, getValue, 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, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, integerValue, isParticular, isSpecific, longValue

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

- Field Detail
  - mayBeUnknown
```
public final boolean mayBeUnknown
```
- Constructor Detail
  - MultiTypedReferenceValue
```
public MultiTypedReferenceValue(java.util.Set<TypedReferenceValue> potentialTypes,
                                boolean mayBeUnknown)
```
  - MultiTypedReferenceValue
```
public MultiTypedReferenceValue(TypedReferenceValue type,
                                boolean mayBeUnknown)
```
- Method Detail
  - generalize
```
public TypedReferenceValue generalize(java.util.Set<TypedReferenceValue> potentialTypes)
```
  - getPotentialTypes
```
public java.util.Set<TypedReferenceValue> getPotentialTypes()
```
  - getGeneralizedType
```
public TypedReferenceValue getGeneralizedType()
```
  - getType
```
public java.lang.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
  - 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 class ReferenceValue
  - isNull
```
public int isNull()
```
    Description copied from class: ReferenceValue
    
    Returns whether this ReferenceValue is null.
    
    Specified by:
    
    isNull in class ReferenceValue
    
    Returns:
    
    NEVER, MAYBE, or ALWAYS.
  - 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 class ReferenceValue
  - 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 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 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
  - 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
  - generalize
```
public ReferenceValue generalize(UnknownReferenceValue other)
```
    Description copied from class: ReferenceValue
    
    Returns the generalization of this ReferenceValue and the given other UnknownReferenceValue.
    
    Overrides:
    
    generalize in class ReferenceValue
  - generalize
```
public ReferenceValue generalize(MultiTypedReferenceValue other)
```
    Description copied from class: ReferenceValue
    
    Returns the generalization of this ReferenceValue and the given other MultiTypedReferenceValue.
    
    Overrides:
    
    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.
  - equal
```
public int equal(MultiTypedReferenceValue other)
```
    Description copied from class: ReferenceValue
    
    Returns whether this ReferenceValue is equal to the given other MultiTypedReferenceValue.
    
    Overrides:
    
    equal in class ReferenceValue
    
    Returns:
    
    NEVER, MAYBE, or ALWAYS.
  - internalType
```
public java.lang.String internalType()
```
    Description copied from class: Value
    
    Returns the internal type of this Value.
    
    Specified by:
    
    internalType in class Value
    
    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 o)
```
    Overrides:
    
    equals in class ReferenceValue
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class ReferenceValue
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class ReferenceValue

Class MultiTypedReferenceValue

Field Summary

Fields inherited from class proguard.evaluation.value.Value

Constructor Summary

Method Summary

Methods inherited from class proguard.evaluation.value.ReferenceValue

Methods inherited from class proguard.evaluation.value.Category1Value

Methods inherited from class proguard.evaluation.value.Value

Methods inherited from class java.lang.Object

Field Detail

mayBeUnknown

Constructor Detail

MultiTypedReferenceValue

MultiTypedReferenceValue

Method Detail

generalize

getPotentialTypes

getGeneralizedType

getType

getReferencedClass

mayBeExtension

isNull

instanceOf

cast

referenceArrayLoad

generalize

generalize

generalize

generalize

equal

equal

internalType

equals

hashCode

toString