public final class ParticularFloatValue extends SpecificFloatValue
FloatValue represents a particular float value.ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP| Constructor and Description |
|---|
ParticularFloatValue(float value)
Creates a new particular float value.
|
| Modifier and Type | Method and 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.
|
add, compare, divide, divideOf, generalize, isSpecific, multiply, remainder, remainderOf, subtract, subtractFromcompareReverse, compareReverse, compareReverse, computationalType, floatValue, generalize, internalTypecategory1Value, isCategory2category2Value, doubleValue, instructionOffsetValue, integerValue, longValue, referenceValuepublic ParticularFloatValue(float value)
public float value()
FloatValuevalue in class FloatValuepublic FloatValue negate()
FloatValuenegate in class SpecificFloatValuepublic IntegerValue convertToInteger()
FloatValueconvertToInteger in class SpecificFloatValuepublic LongValue convertToLong()
FloatValueconvertToLong in class SpecificFloatValuepublic DoubleValue convertToDouble()
FloatValueconvertToDouble in class SpecificFloatValuepublic FloatValue generalize(FloatValue other)
FloatValuegeneralize in class SpecificFloatValuepublic FloatValue add(FloatValue other)
FloatValueadd in class SpecificFloatValuepublic FloatValue subtract(FloatValue other)
FloatValuesubtract in class SpecificFloatValuepublic FloatValue subtractFrom(FloatValue other)
FloatValuesubtractFrom in class SpecificFloatValuepublic FloatValue multiply(FloatValue other)
FloatValuemultiply in class SpecificFloatValuepublic FloatValue divide(FloatValue other)
FloatValuedivide in class SpecificFloatValuepublic FloatValue divideOf(FloatValue other)
FloatValuedivideOf in class SpecificFloatValuepublic FloatValue remainder(FloatValue other)
FloatValueremainder in class SpecificFloatValuepublic FloatValue remainderOf(FloatValue other)
FloatValueremainderOf in class SpecificFloatValuepublic IntegerValue compare(FloatValue other)
FloatValuecompare in class SpecificFloatValuepublic FloatValue generalize(ParticularFloatValue other)
FloatValuegeneralize in class FloatValuepublic FloatValue add(ParticularFloatValue other)
FloatValueadd in class FloatValuepublic FloatValue subtract(ParticularFloatValue other)
FloatValuesubtract in class FloatValuepublic FloatValue subtractFrom(ParticularFloatValue other)
FloatValuesubtractFrom in class FloatValuepublic FloatValue multiply(ParticularFloatValue other)
FloatValuemultiply in class FloatValuepublic FloatValue divide(ParticularFloatValue other)
FloatValuedivide in class FloatValuepublic FloatValue divideOf(ParticularFloatValue other)
FloatValuedivideOf in class FloatValuepublic FloatValue remainder(ParticularFloatValue other)
FloatValueremainder in class FloatValuepublic FloatValue remainderOf(ParticularFloatValue other)
FloatValueremainderOf in class FloatValuepublic IntegerValue compare(ParticularFloatValue other)
FloatValuecompare in class FloatValuepublic boolean isParticular()
ValueisParticular in class Valuepublic boolean equals(java.lang.Object object)
equals in class SpecificFloatValuepublic int hashCode()
hashCode in class SpecificFloatValuepublic java.lang.String toString()
toString in class java.lang.Object