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
ThisFloatValuerepresents 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 FloatValueadd(FloatValue other)Returns the sum of this FloatValue and the given FloatValue.FloatValueadd(ParticularFloatValue other)Returns the sum of this FloatValue and the given ParticularFloatValue.IntegerValuecompare(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.IntegerValuecompare(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.DoubleValueconvertToDouble()Converts this FloatValue to a DoubleValue.IntegerValueconvertToInteger()Converts this FloatValue to an IntegerValue.LongValueconvertToLong()Converts this FloatValue to a LongValue.FloatValuedivide(FloatValue other)Returns the quotient of this FloatValue and the given FloatValue.FloatValuedivide(ParticularFloatValue other)Returns the quotient of this FloatValue and the given ParticularFloatValue.FloatValuedivideOf(FloatValue other)Returns the quotient of the given FloatValue and this FloatValue.FloatValuedivideOf(ParticularFloatValue other)Returns the quotient of the given ParticularFloatValue and this FloatValue.booleanequals(java.lang.Object object)FloatValuegeneralize(FloatValue other)Returns the generalization of this FloatValue and the given other FloatValue.FloatValuegeneralize(ParticularFloatValue other)Returns the generalization of this FloatValue and the given other ParticularFloatValue.inthashCode()booleanisParticular()Returns whether this Value represents a single particular (known) value.FloatValuemultiply(FloatValue other)Returns the product of this FloatValue and the given FloatValue.FloatValuemultiply(ParticularFloatValue other)Returns the product of this FloatValue and the given ParticularFloatValue.FloatValuenegate()Returns the negated value of this FloatValue.FloatValueremainder(FloatValue other)Returns the remainder of this FloatValue divided by the given FloatValue.FloatValueremainder(ParticularFloatValue other)Returns the remainder of this FloatValue divided by the given ParticularFloatValue.FloatValueremainderOf(FloatValue other)Returns the remainder of the given FloatValue divided by this FloatValue.FloatValueremainderOf(ParticularFloatValue other)Returns the remainder of the given ParticularFloatValue and this FloatValue.FloatValuesubtract(FloatValue other)Returns the difference of this FloatValue and the given FloatValue.FloatValuesubtract(ParticularFloatValue other)Returns the difference of this FloatValue and the given ParticularFloatValue.FloatValuesubtractFrom(FloatValue other)Returns the difference of the given FloatValue and this FloatValue.FloatValuesubtractFrom(ParticularFloatValue other)Returns the difference of the given ParticularFloatValue and this FloatValue.java.lang.StringtoString()floatvalue()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:FloatValueReturns the specific float value, if applicable.- Overrides:
valuein classFloatValue
-
negate
public FloatValue negate()
Description copied from class:FloatValueReturns the negated value of this FloatValue.- Overrides:
negatein classSpecificFloatValue
-
convertToInteger
public IntegerValue convertToInteger()
Description copied from class:FloatValueConverts this FloatValue to an IntegerValue.- Overrides:
convertToIntegerin classSpecificFloatValue
-
convertToLong
public LongValue convertToLong()
Description copied from class:FloatValueConverts this FloatValue to a LongValue.- Overrides:
convertToLongin classSpecificFloatValue
-
convertToDouble
public DoubleValue convertToDouble()
Description copied from class:FloatValueConverts this FloatValue to a DoubleValue.- Overrides:
convertToDoublein classSpecificFloatValue
-
generalize
public FloatValue generalize(FloatValue other)
Description copied from class:FloatValueReturns the generalization of this FloatValue and the given other FloatValue.- Overrides:
generalizein classSpecificFloatValue
-
add
public FloatValue add(FloatValue other)
Description copied from class:FloatValueReturns the sum of this FloatValue and the given FloatValue.- Overrides:
addin classSpecificFloatValue
-
subtract
public FloatValue subtract(FloatValue other)
Description copied from class:FloatValueReturns the difference of this FloatValue and the given FloatValue.- Overrides:
subtractin classSpecificFloatValue
-
subtractFrom
public FloatValue subtractFrom(FloatValue other)
Description copied from class:FloatValueReturns the difference of the given FloatValue and this FloatValue.- Overrides:
subtractFromin classSpecificFloatValue
-
multiply
public FloatValue multiply(FloatValue other)
Description copied from class:FloatValueReturns the product of this FloatValue and the given FloatValue.- Overrides:
multiplyin classSpecificFloatValue
-
divide
public FloatValue divide(FloatValue other)
Description copied from class:FloatValueReturns the quotient of this FloatValue and the given FloatValue.- Overrides:
dividein classSpecificFloatValue
-
divideOf
public FloatValue divideOf(FloatValue other)
Description copied from class:FloatValueReturns the quotient of the given FloatValue and this FloatValue.- Overrides:
divideOfin classSpecificFloatValue
-
remainder
public FloatValue remainder(FloatValue other)
Description copied from class:FloatValueReturns the remainder of this FloatValue divided by the given FloatValue.- Overrides:
remainderin classSpecificFloatValue
-
remainderOf
public FloatValue remainderOf(FloatValue other)
Description copied from class:FloatValueReturns the remainder of the given FloatValue divided by this FloatValue.- Overrides:
remainderOfin classSpecificFloatValue
-
compare
public IntegerValue compare(FloatValue other)
Description copied from class:FloatValueReturns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given FloatValue, respectively.- Overrides:
comparein classSpecificFloatValue
-
generalize
public FloatValue generalize(ParticularFloatValue other)
Description copied from class:FloatValueReturns the generalization of this FloatValue and the given other ParticularFloatValue.- Overrides:
generalizein classFloatValue
-
add
public FloatValue add(ParticularFloatValue other)
Description copied from class:FloatValueReturns the sum of this FloatValue and the given ParticularFloatValue.- Overrides:
addin classFloatValue
-
subtract
public FloatValue subtract(ParticularFloatValue other)
Description copied from class:FloatValueReturns the difference of this FloatValue and the given ParticularFloatValue.- Overrides:
subtractin classFloatValue
-
subtractFrom
public FloatValue subtractFrom(ParticularFloatValue other)
Description copied from class:FloatValueReturns the difference of the given ParticularFloatValue and this FloatValue.- Overrides:
subtractFromin classFloatValue
-
multiply
public FloatValue multiply(ParticularFloatValue other)
Description copied from class:FloatValueReturns the product of this FloatValue and the given ParticularFloatValue.- Overrides:
multiplyin classFloatValue
-
divide
public FloatValue divide(ParticularFloatValue other)
Description copied from class:FloatValueReturns the quotient of this FloatValue and the given ParticularFloatValue.- Overrides:
dividein classFloatValue
-
divideOf
public FloatValue divideOf(ParticularFloatValue other)
Description copied from class:FloatValueReturns the quotient of the given ParticularFloatValue and this FloatValue.- Overrides:
divideOfin classFloatValue
-
remainder
public FloatValue remainder(ParticularFloatValue other)
Description copied from class:FloatValueReturns the remainder of this FloatValue divided by the given ParticularFloatValue.- Overrides:
remainderin classFloatValue
-
remainderOf
public FloatValue remainderOf(ParticularFloatValue other)
Description copied from class:FloatValueReturns the remainder of the given ParticularFloatValue and this FloatValue.- Overrides:
remainderOfin classFloatValue
-
compare
public IntegerValue compare(ParticularFloatValue other)
Description copied from class:FloatValueReturns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given ParticularFloatValue, respectively.- Overrides:
comparein classFloatValue
-
isParticular
public boolean isParticular()
Description copied from class:ValueReturns whether this Value represents a single particular (known) value.- Overrides:
isParticularin classValue
-
equals
public boolean equals(java.lang.Object object)
- Overrides:
equalsin classSpecificFloatValue
-
hashCode
public int hashCode()
- Overrides:
hashCodein classSpecificFloatValue
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-