Package proguard.evaluation.value
Class UnknownDoubleValue
- java.lang.Object
-
- proguard.evaluation.value.Value
-
- proguard.evaluation.value.Category2Value
-
- proguard.evaluation.value.DoubleValue
-
- proguard.evaluation.value.UnknownDoubleValue
-
public class UnknownDoubleValue extends DoubleValue
DoubleValue
that is unknown.
-
-
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 UnknownDoubleValue()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description DoubleValue
add(DoubleValue other)
Returns the sum of this DoubleValue and the given DoubleValue.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.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
divideOf(DoubleValue other)
Returns the quotient of the given DoubleValue and this DoubleValue.boolean
equals(java.lang.Object object)
DoubleValue
generalize(DoubleValue other)
Returns the generalization of this DoubleValue and the given other DoubleValue.int
hashCode()
DoubleValue
multiply(DoubleValue other)
Returns the product of this DoubleValue and the given DoubleValue.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
remainderOf(DoubleValue other)
Returns the remainder of the given DoubleValue divided by this DoubleValue.DoubleValue
subtract(DoubleValue other)
Returns the difference of this DoubleValue and the given DoubleValue.DoubleValue
subtractFrom(DoubleValue other)
Returns the difference of the given DoubleValue and this DoubleValue.java.lang.String
toString()
-
Methods inherited from class proguard.evaluation.value.DoubleValue
add, add, compare, compare, compareReverse, compareReverse, compareReverse, computationalType, divide, divide, divideOf, divideOf, doubleValue, generalize, generalize, generalize, internalType, multiply, multiply, remainder, remainder, remainderOf, remainderOf, subtract, subtract, subtractFrom, subtractFrom, value
-
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
-
-
-
-
Method Detail
-
negate
public DoubleValue negate()
Description copied from class:DoubleValue
Returns the negated value of this DoubleValue.- Specified by:
negate
in classDoubleValue
-
convertToInteger
public IntegerValue convertToInteger()
Description copied from class:DoubleValue
Converts this DoubleValue to an IntegerValue.- Specified by:
convertToInteger
in classDoubleValue
-
convertToLong
public LongValue convertToLong()
Description copied from class:DoubleValue
Converts this DoubleValue to a LongValue.- Specified by:
convertToLong
in classDoubleValue
-
convertToFloat
public FloatValue convertToFloat()
Description copied from class:DoubleValue
Converts this DoubleValue to a FloatValue.- Specified by:
convertToFloat
in classDoubleValue
-
generalize
public DoubleValue generalize(DoubleValue other)
Description copied from class:DoubleValue
Returns the generalization of this DoubleValue and the given other DoubleValue.- Specified by:
generalize
in classDoubleValue
-
add
public DoubleValue add(DoubleValue other)
Description copied from class:DoubleValue
Returns the sum of this DoubleValue and the given DoubleValue.- Specified by:
add
in classDoubleValue
-
subtract
public DoubleValue subtract(DoubleValue other)
Description copied from class:DoubleValue
Returns the difference of this DoubleValue and the given DoubleValue.- Specified by:
subtract
in classDoubleValue
-
subtractFrom
public DoubleValue subtractFrom(DoubleValue other)
Description copied from class:DoubleValue
Returns the difference of the given DoubleValue and this DoubleValue.- Specified by:
subtractFrom
in classDoubleValue
-
multiply
public DoubleValue multiply(DoubleValue other)
Description copied from class:DoubleValue
Returns the product of this DoubleValue and the given DoubleValue.- Specified by:
multiply
in classDoubleValue
-
divide
public DoubleValue divide(DoubleValue other)
Description copied from class:DoubleValue
Returns the quotient of this DoubleValue and the given DoubleValue.- Specified by:
divide
in classDoubleValue
-
divideOf
public DoubleValue divideOf(DoubleValue other)
Description copied from class:DoubleValue
Returns the quotient of the given DoubleValue and this DoubleValue.- Specified by:
divideOf
in classDoubleValue
-
remainder
public DoubleValue remainder(DoubleValue other)
Description copied from class:DoubleValue
Returns the remainder of this DoubleValue divided by the given DoubleValue.- Specified by:
remainder
in classDoubleValue
-
remainderOf
public DoubleValue remainderOf(DoubleValue other)
Description copied from class:DoubleValue
Returns the remainder of the given DoubleValue divided by this DoubleValue.- Specified by:
remainderOf
in classDoubleValue
-
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.- Specified by:
compare
in classDoubleValue
-
equals
public boolean equals(java.lang.Object object)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-