Package proguard.evaluation.value
Class ParticularFloatValue
- java.lang.Object
-
- proguard.evaluation.value.Value
-
- proguard.evaluation.value.Category1Value
-
- proguard.evaluation.value.FloatValue
-
- proguard.evaluation.value.SpecificFloatValue
-
- proguard.evaluation.value.ParticularFloatValue
-
public final class ParticularFloatValue extends SpecificFloatValue
ThisFloatValue
represents a particular float 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 ParticularFloatValue(float value)
Creates a new particular float value.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FloatValue
add(FloatValue other)
Returns the sum of this FloatValue and the given FloatValue.FloatValue
add(ParticularFloatValue other)
Returns the sum of this FloatValue and the given ParticularFloatValue.IntegerValue
compare(FloatValue other)
Returns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given FloatValue, respectively.IntegerValue
compare(ParticularFloatValue other)
Returns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given ParticularFloatValue, respectively.DoubleValue
convertToDouble()
Converts this FloatValue to a DoubleValue.IntegerValue
convertToInteger()
Converts this FloatValue to an IntegerValue.LongValue
convertToLong()
Converts this FloatValue to a LongValue.FloatValue
divide(FloatValue other)
Returns the quotient of this FloatValue and the given FloatValue.FloatValue
divide(ParticularFloatValue other)
Returns the quotient of this FloatValue and the given ParticularFloatValue.FloatValue
divideOf(FloatValue other)
Returns the quotient of the given FloatValue and this FloatValue.FloatValue
divideOf(ParticularFloatValue other)
Returns the quotient of the given ParticularFloatValue and this FloatValue.boolean
equals(java.lang.Object object)
FloatValue
generalize(FloatValue other)
Returns the generalization of this FloatValue and the given other FloatValue.FloatValue
generalize(ParticularFloatValue other)
Returns the generalization of this FloatValue and the given other ParticularFloatValue.int
hashCode()
boolean
isParticular()
Returns whether this Value represents a single particular (known) value.FloatValue
multiply(FloatValue other)
Returns the product of this FloatValue and the given FloatValue.FloatValue
multiply(ParticularFloatValue other)
Returns the product of this FloatValue and the given ParticularFloatValue.FloatValue
negate()
Returns the negated value of this FloatValue.FloatValue
remainder(FloatValue other)
Returns the remainder of this FloatValue divided by the given FloatValue.FloatValue
remainder(ParticularFloatValue other)
Returns the remainder of this FloatValue divided by the given ParticularFloatValue.FloatValue
remainderOf(FloatValue other)
Returns the remainder of the given FloatValue divided by this FloatValue.FloatValue
remainderOf(ParticularFloatValue other)
Returns the remainder of the given ParticularFloatValue and this FloatValue.FloatValue
subtract(FloatValue other)
Returns the difference of this FloatValue and the given FloatValue.FloatValue
subtract(ParticularFloatValue other)
Returns the difference of this FloatValue and the given ParticularFloatValue.FloatValue
subtractFrom(FloatValue other)
Returns the difference of the given FloatValue and this FloatValue.FloatValue
subtractFrom(ParticularFloatValue other)
Returns the difference of the given ParticularFloatValue and this FloatValue.java.lang.String
toString()
float
value()
Returns the specific float value, if applicable.-
Methods inherited from class proguard.evaluation.value.SpecificFloatValue
add, compare, divide, divideOf, generalize, isSpecific, multiply, remainder, remainderOf, subtract, subtractFrom
-
Methods inherited from class proguard.evaluation.value.FloatValue
compareReverse, compareReverse, compareReverse, computationalType, floatValue, generalize, internalType
-
Methods inherited from class proguard.evaluation.value.Category1Value
category1Value, isCategory2
-
Methods inherited from class proguard.evaluation.value.Value
category2Value, copyIfMutable, doubleValue, instructionOffsetValue, integerValue, longValue, referenceValue
-
-
-
-
Method Detail
-
value
public float value()
Description copied from class:FloatValue
Returns the specific float value, if applicable.- Overrides:
value
in classFloatValue
-
negate
public FloatValue negate()
Description copied from class:FloatValue
Returns the negated value of this FloatValue.- Overrides:
negate
in classSpecificFloatValue
-
convertToInteger
public IntegerValue convertToInteger()
Description copied from class:FloatValue
Converts this FloatValue to an IntegerValue.- Overrides:
convertToInteger
in classSpecificFloatValue
-
convertToLong
public LongValue convertToLong()
Description copied from class:FloatValue
Converts this FloatValue to a LongValue.- Overrides:
convertToLong
in classSpecificFloatValue
-
convertToDouble
public DoubleValue convertToDouble()
Description copied from class:FloatValue
Converts this FloatValue to a DoubleValue.- Overrides:
convertToDouble
in classSpecificFloatValue
-
generalize
public FloatValue generalize(FloatValue other)
Description copied from class:FloatValue
Returns the generalization of this FloatValue and the given other FloatValue.- Overrides:
generalize
in classSpecificFloatValue
-
add
public FloatValue add(FloatValue other)
Description copied from class:FloatValue
Returns the sum of this FloatValue and the given FloatValue.- Overrides:
add
in classSpecificFloatValue
-
subtract
public FloatValue subtract(FloatValue other)
Description copied from class:FloatValue
Returns the difference of this FloatValue and the given FloatValue.- Overrides:
subtract
in classSpecificFloatValue
-
subtractFrom
public FloatValue subtractFrom(FloatValue other)
Description copied from class:FloatValue
Returns the difference of the given FloatValue and this FloatValue.- Overrides:
subtractFrom
in classSpecificFloatValue
-
multiply
public FloatValue multiply(FloatValue other)
Description copied from class:FloatValue
Returns the product of this FloatValue and the given FloatValue.- Overrides:
multiply
in classSpecificFloatValue
-
divide
public FloatValue divide(FloatValue other)
Description copied from class:FloatValue
Returns the quotient of this FloatValue and the given FloatValue.- Overrides:
divide
in classSpecificFloatValue
-
divideOf
public FloatValue divideOf(FloatValue other)
Description copied from class:FloatValue
Returns the quotient of the given FloatValue and this FloatValue.- Overrides:
divideOf
in classSpecificFloatValue
-
remainder
public FloatValue remainder(FloatValue other)
Description copied from class:FloatValue
Returns the remainder of this FloatValue divided by the given FloatValue.- Overrides:
remainder
in classSpecificFloatValue
-
remainderOf
public FloatValue remainderOf(FloatValue other)
Description copied from class:FloatValue
Returns the remainder of the given FloatValue divided by this FloatValue.- Overrides:
remainderOf
in classSpecificFloatValue
-
compare
public IntegerValue compare(FloatValue other)
Description copied from class:FloatValue
Returns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given FloatValue, respectively.- Overrides:
compare
in classSpecificFloatValue
-
generalize
public FloatValue generalize(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the generalization of this FloatValue and the given other ParticularFloatValue.- Overrides:
generalize
in classFloatValue
-
add
public FloatValue add(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the sum of this FloatValue and the given ParticularFloatValue.- Overrides:
add
in classFloatValue
-
subtract
public FloatValue subtract(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the difference of this FloatValue and the given ParticularFloatValue.- Overrides:
subtract
in classFloatValue
-
subtractFrom
public FloatValue subtractFrom(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the difference of the given ParticularFloatValue and this FloatValue.- Overrides:
subtractFrom
in classFloatValue
-
multiply
public FloatValue multiply(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the product of this FloatValue and the given ParticularFloatValue.- Overrides:
multiply
in classFloatValue
-
divide
public FloatValue divide(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the quotient of this FloatValue and the given ParticularFloatValue.- Overrides:
divide
in classFloatValue
-
divideOf
public FloatValue divideOf(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the quotient of the given ParticularFloatValue and this FloatValue.- Overrides:
divideOf
in classFloatValue
-
remainder
public FloatValue remainder(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the remainder of this FloatValue divided by the given ParticularFloatValue.- Overrides:
remainder
in classFloatValue
-
remainderOf
public FloatValue remainderOf(ParticularFloatValue other)
Description copied from class:FloatValue
Returns the remainder of the given ParticularFloatValue and this FloatValue.- Overrides:
remainderOf
in classFloatValue
-
compare
public IntegerValue compare(ParticularFloatValue other)
Description copied from class:FloatValue
Returns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given ParticularFloatValue, respectively.- Overrides:
compare
in classFloatValue
-
isParticular
public boolean isParticular()
Description copied from class:Value
Returns whether this Value represents a single particular (known) value.- Overrides:
isParticular
in classValue
-
equals
public boolean equals(java.lang.Object object)
- Overrides:
equals
in classSpecificFloatValue
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classSpecificFloatValue
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-