ParticularDoubleValue (proguard-core 9.1.0 API)

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

public final class ParticularDoubleValue
extends SpecificDoubleValue

This DoubleValue represents a particular 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 and Description

ParticularDoubleValue(double value)
Creates a new particular double value.

Constructors
Constructor and Description
`ParticularDoubleValue(double value)` Creates a new particular double value.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`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.
`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.
`FloatValue`	`convertToFloat()` Converts this DoubleValue to a FloatValue.
`IntegerValue`	`convertToInteger()` Converts this DoubleValue to an IntegerValue.
`LongValue`	`convertToLong()` Converts this DoubleValue to a LongValue.
`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`	`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.
`boolean`	`equals(java.lang.Object object)`
`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.
`int`	`hashCode()`
`boolean`	`isParticular()` Returns whether this Value represents a single particular (known) value.
`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`	`negate()` Returns the negated value of this DoubleValue.
`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`	`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`	`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`	`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.
`java.lang.String`	`toString()`
`double`	`value()` Returns the specific double value, if applicable.

Methods inherited from class proguard.evaluation.value.SpecificDoubleValue
add, compare, divide, divideOf, generalize, isSpecific, multiply, remainder, remainderOf, subtract, subtractFrom

Methods inherited from class proguard.evaluation.value.DoubleValue
compareReverse, compareReverse, compareReverse, computationalType, doubleValue, generalize, internalType

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

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

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

- Constructor Detail
  - ParticularDoubleValue
```
public ParticularDoubleValue(double value)
```
    Creates a new particular double value.
- Method Detail
  - value
```
public double value()
```
    Description copied from class: DoubleValue
    
    Returns the specific double value, if applicable.
    
    Overrides:
    
    value in class DoubleValue
  - negate
```
public DoubleValue negate()
```
    Description copied from class: DoubleValue
    
    Returns the negated value of this DoubleValue.
    
    Overrides:
    
    negate in class SpecificDoubleValue
  - convertToInteger
```
public IntegerValue convertToInteger()
```
    Description copied from class: DoubleValue
    
    Converts this DoubleValue to an IntegerValue.
    
    Overrides:
    
    convertToInteger in class SpecificDoubleValue
  - convertToLong
```
public LongValue convertToLong()
```
    Description copied from class: DoubleValue
    
    Converts this DoubleValue to a LongValue.
    
    Overrides:
    
    convertToLong in class SpecificDoubleValue
  - convertToFloat
```
public FloatValue convertToFloat()
```
    Description copied from class: DoubleValue
    
    Converts this DoubleValue to a FloatValue.
    
    Overrides:
    
    convertToFloat in class SpecificDoubleValue
  - generalize
```
public DoubleValue generalize(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the generalization of this DoubleValue and the given other DoubleValue.
    
    Overrides:
    
    generalize in class SpecificDoubleValue
  - add
```
public DoubleValue add(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the sum of this DoubleValue and the given DoubleValue.
    
    Overrides:
    
    add in class SpecificDoubleValue
  - subtract
```
public DoubleValue subtract(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the difference of this DoubleValue and the given DoubleValue.
    
    Overrides:
    
    subtract in class SpecificDoubleValue
  - subtractFrom
```
public DoubleValue subtractFrom(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the difference of the given DoubleValue and this DoubleValue.
    
    Overrides:
    
    subtractFrom in class SpecificDoubleValue
  - multiply
```
public DoubleValue multiply(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the product of this DoubleValue and the given DoubleValue.
    
    Overrides:
    
    multiply in class SpecificDoubleValue
  - divide
```
public DoubleValue divide(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the quotient of this DoubleValue and the given DoubleValue.
    
    Overrides:
    
    divide in class SpecificDoubleValue
  - divideOf
```
public DoubleValue divideOf(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the quotient of the given DoubleValue and this DoubleValue.
    
    Overrides:
    
    divideOf in class SpecificDoubleValue
  - remainder
```
public DoubleValue remainder(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the remainder of this DoubleValue divided by the given DoubleValue.
    
    Overrides:
    
    remainder in class SpecificDoubleValue
  - remainderOf
```
public DoubleValue remainderOf(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the remainder of the given DoubleValue divided by this DoubleValue.
    
    Overrides:
    
    remainderOf in class SpecificDoubleValue
  - compare
```
public IntegerValue compare(DoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.
    
    Overrides:
    
    compare in class SpecificDoubleValue
  - generalize
```
public DoubleValue generalize(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.
    
    Overrides:
    
    generalize in class DoubleValue
  - add
```
public DoubleValue add(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the sum of this DoubleValue and the given ParticularDoubleValue.
    
    Overrides:
    
    add in class DoubleValue
  - subtract
```
public DoubleValue subtract(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the difference of this DoubleValue and the given ParticularDoubleValue.
    
    Overrides:
    
    subtract in class DoubleValue
  - subtractFrom
```
public DoubleValue subtractFrom(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the difference of the given ParticularDoubleValue and this DoubleValue.
    
    Overrides:
    
    subtractFrom in class DoubleValue
  - multiply
```
public DoubleValue multiply(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the product of this DoubleValue and the given ParticularDoubleValue.
    
    Overrides:
    
    multiply in class DoubleValue
  - divide
```
public DoubleValue divide(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
    
    Overrides:
    
    divide in class DoubleValue
  - divideOf
```
public DoubleValue divideOf(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the quotient of the given ParticularDoubleValue and this DoubleValue.
    
    Overrides:
    
    divideOf in class DoubleValue
  - remainder
```
public DoubleValue remainder(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.
    
    Overrides:
    
    remainder in class DoubleValue
  - remainderOf
```
public DoubleValue remainderOf(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns the remainder of the given ParticularDoubleValue and this DoubleValue.
    
    Overrides:
    
    remainderOf in class DoubleValue
  - compare
```
public IntegerValue compare(ParticularDoubleValue other)
```
    Description copied from class: DoubleValue
    
    Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
    
    Overrides:
    
    compare in class DoubleValue
  - isParticular
```
public boolean isParticular()
```
    Description copied from class: Value
    
    Returns whether this Value represents a single particular (known) value.
    
    Overrides:
    
    isParticular in class Value
  - equals
```
public boolean equals(java.lang.Object object)
```
    Overrides:
    
    equals in class SpecificDoubleValue
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class SpecificDoubleValue
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

Class ParticularDoubleValue

Field Summary

Fields inherited from class proguard.evaluation.value.Value

Constructor Summary

Method Summary

Methods inherited from class proguard.evaluation.value.SpecificDoubleValue

Methods inherited from class proguard.evaluation.value.DoubleValue

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

ParticularDoubleValue

Method Detail

value

negate

convertToInteger

convertToLong

convertToFloat

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

compare

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

compare

isParticular

equals

hashCode

toString