| Package | Description |
|---|---|
| proguard.evaluation | |
| proguard.evaluation.value |
This package contains classes that represent partial evaluation values.
|
| Modifier and Type | Method and Description |
|---|---|
DoubleValue |
Variables.dload(int index)
Loads the DoubleValue from the variable with the given index.
|
DoubleValue |
Stack.dpop()
Pops the top DoubleValue from the stack.
|
| Modifier and Type | Class and Description |
|---|---|
class |
UnknownDoubleValue
This class represents a partially evaluated double value.
|
| Modifier and Type | Method and Description |
|---|---|
abstract DoubleValue |
DoubleValue.add(DoubleValue other)
Returns the sum of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.add(DoubleValue other) |
DoubleValue |
DoubleValue.add(proguard.evaluation.value.ParticularDoubleValue other)
Returns the sum of this DoubleValue and the given ParticularDoubleValue.
|
DoubleValue |
DoubleValue.add(proguard.evaluation.value.SpecificDoubleValue other)
Returns the sum of this DoubleValue and the given SpecificDoubleValue.
|
abstract DoubleValue |
FloatValue.convertToDouble()
Converts this FloatValue to a DoubleValue.
|
DoubleValue |
UnknownIntegerValue.convertToDouble() |
DoubleValue |
UnknownLongValue.convertToDouble() |
DoubleValue |
UnknownFloatValue.convertToDouble() |
abstract DoubleValue |
IntegerValue.convertToDouble()
Converts this IntegerValue to a DoubleValue.
|
abstract DoubleValue |
LongValue.convertToDouble()
Converts this LongValue to a DoubleValue.
|
DoubleValue |
IdentifiedValueFactory.createDoubleValue() |
DoubleValue |
ValueFactory.createDoubleValue()
Creates a new DoubleValue with an undefined value.
|
DoubleValue |
ParticularValueFactory.createDoubleValue(double value) |
DoubleValue |
ValueFactory.createDoubleValue(double value)
Creates a new DoubleValue with a given particular value.
|
abstract DoubleValue |
DoubleValue.divide(DoubleValue other)
Returns the quotient of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.divide(DoubleValue other) |
DoubleValue |
DoubleValue.divide(proguard.evaluation.value.ParticularDoubleValue other)
Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
|
DoubleValue |
DoubleValue.divide(proguard.evaluation.value.SpecificDoubleValue other)
Returns the quotient of this DoubleValue and the given SpecificDoubleValue.
|
abstract DoubleValue |
DoubleValue.divideOf(DoubleValue other)
Returns the quotient of the given DoubleValue and this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.divideOf(DoubleValue other) |
DoubleValue |
DoubleValue.divideOf(proguard.evaluation.value.ParticularDoubleValue other)
Returns the quotient of the given ParticularDoubleValue and this
DoubleValue.
|
DoubleValue |
DoubleValue.divideOf(proguard.evaluation.value.SpecificDoubleValue other)
Returns the quotient of the given SpecificDoubleValue and this
DoubleValue.
|
DoubleValue |
ReferenceValue.doubleArrayLoad(IntegerValue indexValue,
ValueFactory valueFactory)
Returns the value of the array at the given index, assuming this type
is an double array.
|
DoubleValue |
DoubleValue.doubleValue() |
DoubleValue |
Value.doubleValue()
Returns this Value as a DoubleValue.
|
abstract DoubleValue |
DoubleValue.generalize(DoubleValue other)
Returns the generalization of this DoubleValue and the given other
DoubleValue.
|
DoubleValue |
UnknownDoubleValue.generalize(DoubleValue other) |
DoubleValue |
DoubleValue.generalize(proguard.evaluation.value.ParticularDoubleValue other)
Returns the generalization of this DoubleValue and the given other
ParticularDoubleValue.
|
DoubleValue |
DoubleValue.generalize(proguard.evaluation.value.SpecificDoubleValue other)
Returns the generalization of this DoubleValue and the given other
SpecificDoubleValue.
|
abstract DoubleValue |
DoubleValue.multiply(DoubleValue other)
Returns the product of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.multiply(DoubleValue other) |
DoubleValue |
DoubleValue.multiply(proguard.evaluation.value.ParticularDoubleValue other)
Returns the product of this DoubleValue and the given ParticularDoubleValue.
|
DoubleValue |
DoubleValue.multiply(proguard.evaluation.value.SpecificDoubleValue other)
Returns the product of this DoubleValue and the given SpecificDoubleValue.
|
abstract DoubleValue |
DoubleValue.negate()
Returns the negated value of this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.negate() |
abstract DoubleValue |
DoubleValue.remainder(DoubleValue other)
Returns the remainder of this DoubleValue divided by the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.remainder(DoubleValue other) |
DoubleValue |
DoubleValue.remainder(proguard.evaluation.value.ParticularDoubleValue other)
Returns the remainder of this DoubleValue divided by the given
ParticularDoubleValue.
|
DoubleValue |
DoubleValue.remainder(proguard.evaluation.value.SpecificDoubleValue other)
Returns the remainder of this DoubleValue divided by the given
SpecificDoubleValue.
|
abstract DoubleValue |
DoubleValue.remainderOf(DoubleValue other)
Returns the remainder of the given DoubleValue divided by this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.remainderOf(DoubleValue other) |
DoubleValue |
DoubleValue.remainderOf(proguard.evaluation.value.ParticularDoubleValue other)
Returns the remainder of the given ParticularDoubleValue and this
DoubleValue.
|
DoubleValue |
DoubleValue.remainderOf(proguard.evaluation.value.SpecificDoubleValue other)
Returns the remainder of the given SpecificDoubleValue and this
DoubleValue.
|
abstract DoubleValue |
DoubleValue.subtract(DoubleValue other)
Returns the difference of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.subtract(DoubleValue other) |
DoubleValue |
DoubleValue.subtract(proguard.evaluation.value.ParticularDoubleValue other)
Returns the difference of this DoubleValue and the given ParticularDoubleValue.
|
DoubleValue |
DoubleValue.subtract(proguard.evaluation.value.SpecificDoubleValue other)
Returns the difference of this DoubleValue and the given SpecificDoubleValue.
|
abstract DoubleValue |
DoubleValue.subtractFrom(DoubleValue other)
Returns the difference of the given DoubleValue and this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.subtractFrom(DoubleValue other) |
DoubleValue |
DoubleValue.subtractFrom(proguard.evaluation.value.ParticularDoubleValue other)
Returns the difference of the given ParticularDoubleValue and this DoubleValue.
|
DoubleValue |
DoubleValue.subtractFrom(proguard.evaluation.value.SpecificDoubleValue other)
Returns the difference of the given SpecificDoubleValue and this DoubleValue.
|
| Modifier and Type | Method and Description |
|---|---|
abstract DoubleValue |
DoubleValue.add(DoubleValue other)
Returns the sum of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.add(DoubleValue other) |
abstract IntegerValue |
DoubleValue.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 |
UnknownDoubleValue.compare(DoubleValue other) |
IntegerValue |
DoubleValue.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.
|
abstract DoubleValue |
DoubleValue.divide(DoubleValue other)
Returns the quotient of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.divide(DoubleValue other) |
abstract DoubleValue |
DoubleValue.divideOf(DoubleValue other)
Returns the quotient of the given DoubleValue and this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.divideOf(DoubleValue other) |
abstract DoubleValue |
DoubleValue.generalize(DoubleValue other)
Returns the generalization of this DoubleValue and the given other
DoubleValue.
|
DoubleValue |
UnknownDoubleValue.generalize(DoubleValue other) |
abstract DoubleValue |
DoubleValue.multiply(DoubleValue other)
Returns the product of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.multiply(DoubleValue other) |
abstract DoubleValue |
DoubleValue.remainder(DoubleValue other)
Returns the remainder of this DoubleValue divided by the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.remainder(DoubleValue other) |
abstract DoubleValue |
DoubleValue.remainderOf(DoubleValue other)
Returns the remainder of the given DoubleValue divided by this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.remainderOf(DoubleValue other) |
abstract DoubleValue |
DoubleValue.subtract(DoubleValue other)
Returns the difference of this DoubleValue and the given DoubleValue.
|
DoubleValue |
UnknownDoubleValue.subtract(DoubleValue other) |
abstract DoubleValue |
DoubleValue.subtractFrom(DoubleValue other)
Returns the difference of the given DoubleValue and this DoubleValue.
|
DoubleValue |
UnknownDoubleValue.subtractFrom(DoubleValue other) |
Copyright © 2015. All Rights Reserved.