java.lang.Object
- proguard.evaluation.value.Value
- - proguard.evaluation.value.Category2Value
  - - proguard.evaluation.value.DoubleValue

Direct Known Subclasses:

SpecificDoubleValue, UnknownDoubleValue
```
public abstract class DoubleValue
extends Category2Value
```
Representation of a partially evaluated double value.

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

Constructor Summary

Constructors
Constructor Description

DoubleValue()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract DoubleValue`	`add(DoubleValue other)`	Returns the sum of this DoubleValue and the given DoubleValue.
`DoubleValue`	`add(ParticularDoubleValue other)`	Returns the sum of this DoubleValue and the given ParticularDoubleValue.
`DoubleValue`	`add(SpecificDoubleValue other)`	Returns the sum of this DoubleValue and the given SpecificDoubleValue.
`abstract IntegerValue`	`compare(DoubleValue other)`	Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.
`IntegerValue`	`compare(ParticularDoubleValue other)`	Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
`IntegerValue`	`compare(SpecificDoubleValue other)`	Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.
`IntegerValue`	`compareReverse(DoubleValue other)`	Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.
`IntegerValue`	`compareReverse(ParticularDoubleValue other)`	Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
`IntegerValue`	`compareReverse(SpecificDoubleValue other)`	Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.
`int`	`computationalType()`	Returns the computational type of this Value.
`abstract FloatValue`	`convertToFloat()`	Converts this DoubleValue to a FloatValue.
`abstract IntegerValue`	`convertToInteger()`	Converts this DoubleValue to an IntegerValue.
`abstract LongValue`	`convertToLong()`	Converts this DoubleValue to a LongValue.
`abstract DoubleValue`	`divide(DoubleValue other)`	Returns the quotient of this DoubleValue and the given DoubleValue.
`DoubleValue`	`divide(ParticularDoubleValue other)`	Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
`DoubleValue`	`divide(SpecificDoubleValue other)`	Returns the quotient of this DoubleValue and the given SpecificDoubleValue.
`abstract DoubleValue`	`divideOf(DoubleValue other)`	Returns the quotient of the given DoubleValue and this DoubleValue.
`DoubleValue`	`divideOf(ParticularDoubleValue other)`	Returns the quotient of the given ParticularDoubleValue and this DoubleValue.
`DoubleValue`	`divideOf(SpecificDoubleValue other)`	Returns the quotient of the given SpecificDoubleValue and this DoubleValue.
`DoubleValue`	`doubleValue()`	Returns this Value as a DoubleValue.
`abstract DoubleValue`	`generalize(DoubleValue other)`	Returns the generalization of this DoubleValue and the given other DoubleValue.
`DoubleValue`	`generalize(ParticularDoubleValue other)`	Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.
`DoubleValue`	`generalize(SpecificDoubleValue other)`	Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.
`Value`	`generalize(Value other)`	Returns the generalization of this Value and the given other Value.
`java.lang.String`	`internalType()`	Returns the internal type of this Value.
`abstract DoubleValue`	`multiply(DoubleValue other)`	Returns the product of this DoubleValue and the given DoubleValue.
`DoubleValue`	`multiply(ParticularDoubleValue other)`	Returns the product of this DoubleValue and the given ParticularDoubleValue.
`DoubleValue`	`multiply(SpecificDoubleValue other)`	Returns the product of this DoubleValue and the given SpecificDoubleValue.
`abstract DoubleValue`	`negate()`	Returns the negated value of this DoubleValue.
`abstract DoubleValue`	`remainder(DoubleValue other)`	Returns the remainder of this DoubleValue divided by the given DoubleValue.
`DoubleValue`	`remainder(ParticularDoubleValue other)`	Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.
`DoubleValue`	`remainder(SpecificDoubleValue other)`	Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.
`abstract DoubleValue`	`remainderOf(DoubleValue other)`	Returns the remainder of the given DoubleValue divided by this DoubleValue.
`DoubleValue`	`remainderOf(ParticularDoubleValue other)`	Returns the remainder of the given ParticularDoubleValue and this DoubleValue.
`DoubleValue`	`remainderOf(SpecificDoubleValue other)`	Returns the remainder of the given SpecificDoubleValue and this DoubleValue.
`abstract DoubleValue`	`subtract(DoubleValue other)`	Returns the difference of this DoubleValue and the given DoubleValue.
`DoubleValue`	`subtract(ParticularDoubleValue other)`	Returns the difference of this DoubleValue and the given ParticularDoubleValue.
`DoubleValue`	`subtract(SpecificDoubleValue other)`	Returns the difference of this DoubleValue and the given SpecificDoubleValue.
`abstract DoubleValue`	`subtractFrom(DoubleValue other)`	Returns the difference of the given DoubleValue and this DoubleValue.
`DoubleValue`	`subtractFrom(ParticularDoubleValue other)`	Returns the difference of the given ParticularDoubleValue and this DoubleValue.
`DoubleValue`	`subtractFrom(SpecificDoubleValue other)`	Returns the difference of the given SpecificDoubleValue and this DoubleValue.
`double`	`value()`	Returns the specific double value, if applicable.

Methods inherited from class proguard.evaluation.value.Category2Value
category2Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value
category1Value, copyIfMutable, floatValue, instructionOffsetValue, integerValue, isParticular, isSpecific, longValue, referenceValue

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

- Constructor Detail
  - DoubleValue
```
public DoubleValue()
```
- Method Detail
  - value
```
public double value()
```
    Returns the specific double value, if applicable.
  - negate
```
public abstract DoubleValue negate()
```
    Returns the negated value of this DoubleValue.
  - convertToInteger
```
public abstract IntegerValue convertToInteger()
```
    Converts this DoubleValue to an IntegerValue.
  - convertToLong
```
public abstract LongValue convertToLong()
```
    Converts this DoubleValue to a LongValue.
  - convertToFloat
```
public abstract FloatValue convertToFloat()
```
    Converts this DoubleValue to a FloatValue.
  - generalize
```
public abstract DoubleValue generalize(DoubleValue other)
```
    Returns the generalization of this DoubleValue and the given other DoubleValue.
  - add
```
public abstract DoubleValue add(DoubleValue other)
```
    Returns the sum of this DoubleValue and the given DoubleValue.
  - subtract
```
public abstract DoubleValue subtract(DoubleValue other)
```
    Returns the difference of this DoubleValue and the given DoubleValue.
  - subtractFrom
```
public abstract DoubleValue subtractFrom(DoubleValue other)
```
    Returns the difference of the given DoubleValue and this DoubleValue.
  - multiply
```
public abstract DoubleValue multiply(DoubleValue other)
```
    Returns the product of this DoubleValue and the given DoubleValue.
  - divide
```
public abstract DoubleValue divide(DoubleValue other)
```
    Returns the quotient of this DoubleValue and the given DoubleValue.
  - divideOf
```
public abstract DoubleValue divideOf(DoubleValue other)
```
    Returns the quotient of the given DoubleValue and this DoubleValue.
  - remainder
```
public abstract DoubleValue remainder(DoubleValue other)
```
    Returns the remainder of this DoubleValue divided by the given DoubleValue.
  - remainderOf
```
public abstract DoubleValue remainderOf(DoubleValue other)
```
    Returns the remainder of the given DoubleValue divided by this DoubleValue.
  - compare
```
public abstract IntegerValue compare(DoubleValue other)
```
    Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.
  - compareReverse
```
public final IntegerValue compareReverse(DoubleValue other)
```
    Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.
  - generalize
```
public DoubleValue generalize(SpecificDoubleValue other)
```
    Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.
  - add
```
public DoubleValue add(SpecificDoubleValue other)
```
    Returns the sum of this DoubleValue and the given SpecificDoubleValue.
  - subtract
```
public DoubleValue subtract(SpecificDoubleValue other)
```
    Returns the difference of this DoubleValue and the given SpecificDoubleValue.
  - subtractFrom
```
public DoubleValue subtractFrom(SpecificDoubleValue other)
```
    Returns the difference of the given SpecificDoubleValue and this DoubleValue.
  - multiply
```
public DoubleValue multiply(SpecificDoubleValue other)
```
    Returns the product of this DoubleValue and the given SpecificDoubleValue.
  - divide
```
public DoubleValue divide(SpecificDoubleValue other)
```
    Returns the quotient of this DoubleValue and the given SpecificDoubleValue.
  - divideOf
```
public DoubleValue divideOf(SpecificDoubleValue other)
```
    Returns the quotient of the given SpecificDoubleValue and this DoubleValue.
  - remainder
```
public DoubleValue remainder(SpecificDoubleValue other)
```
    Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.
  - remainderOf
```
public DoubleValue remainderOf(SpecificDoubleValue other)
```
    Returns the remainder of the given SpecificDoubleValue and this DoubleValue.
  - compare
```
public IntegerValue compare(SpecificDoubleValue other)
```
    Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.
  - compareReverse
```
public final IntegerValue compareReverse(SpecificDoubleValue other)
```
    Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.
  - generalize
```
public DoubleValue generalize(ParticularDoubleValue other)
```
    Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.
  - add
```
public DoubleValue add(ParticularDoubleValue other)
```
    Returns the sum of this DoubleValue and the given ParticularDoubleValue.
  - subtract
```
public DoubleValue subtract(ParticularDoubleValue other)
```
    Returns the difference of this DoubleValue and the given ParticularDoubleValue.
  - subtractFrom
```
public DoubleValue subtractFrom(ParticularDoubleValue other)
```
    Returns the difference of the given ParticularDoubleValue and this DoubleValue.
  - multiply
```
public DoubleValue multiply(ParticularDoubleValue other)
```
    Returns the product of this DoubleValue and the given ParticularDoubleValue.
  - divide
```
public DoubleValue divide(ParticularDoubleValue other)
```
    Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
  - divideOf
```
public DoubleValue divideOf(ParticularDoubleValue other)
```
    Returns the quotient of the given ParticularDoubleValue and this DoubleValue.
  - remainder
```
public DoubleValue remainder(ParticularDoubleValue other)
```
    Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.
  - remainderOf
```
public DoubleValue remainderOf(ParticularDoubleValue other)
```
    Returns the remainder of the given ParticularDoubleValue and this DoubleValue.
  - compare
```
public IntegerValue compare(ParticularDoubleValue other)
```
    Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
  - compareReverse
```
public final IntegerValue compareReverse(ParticularDoubleValue other)
```
    Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
  - doubleValue
```
public final DoubleValue doubleValue()
```
    Description copied from class: Value
    
    Returns this Value as a DoubleValue.
    
    Overrides:
    
    doubleValue 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.
  - internalType
```
public final 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).

Class DoubleValue

Field Summary

Fields inherited from class proguard.evaluation.value.Value

Constructor Summary

Method Summary

Methods inherited from class proguard.evaluation.value.Category2Value

Methods inherited from class proguard.evaluation.value.Value

Methods inherited from class java.lang.Object

Constructor Detail

DoubleValue

Method Detail

value

negate

convertToInteger

convertToLong

convertToFloat

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

compare

compareReverse

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

compare

compareReverse

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

compare

compareReverse

doubleValue

generalize

computationalType

internalType