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, TYPE_UNKNOWN
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, subtractFrom
compareReverse, compareReverse, compareReverse, computationalType, floatValue, generalize, internalType
category1Value, isCategory2
category2Value, copyIfMutable, doubleValue, instructionOffsetValue, integerValue, longValue, referenceValue
public ParticularFloatValue(float value)
public float value()
FloatValue
value
in class FloatValue
public FloatValue negate()
FloatValue
negate
in class SpecificFloatValue
public IntegerValue convertToInteger()
FloatValue
convertToInteger
in class SpecificFloatValue
public LongValue convertToLong()
FloatValue
convertToLong
in class SpecificFloatValue
public DoubleValue convertToDouble()
FloatValue
convertToDouble
in class SpecificFloatValue
public FloatValue generalize(FloatValue other)
FloatValue
generalize
in class SpecificFloatValue
public FloatValue add(FloatValue other)
FloatValue
add
in class SpecificFloatValue
public FloatValue subtract(FloatValue other)
FloatValue
subtract
in class SpecificFloatValue
public FloatValue subtractFrom(FloatValue other)
FloatValue
subtractFrom
in class SpecificFloatValue
public FloatValue multiply(FloatValue other)
FloatValue
multiply
in class SpecificFloatValue
public FloatValue divide(FloatValue other)
FloatValue
divide
in class SpecificFloatValue
public FloatValue divideOf(FloatValue other)
FloatValue
divideOf
in class SpecificFloatValue
public FloatValue remainder(FloatValue other)
FloatValue
remainder
in class SpecificFloatValue
public FloatValue remainderOf(FloatValue other)
FloatValue
remainderOf
in class SpecificFloatValue
public IntegerValue compare(FloatValue other)
FloatValue
compare
in class SpecificFloatValue
public FloatValue generalize(ParticularFloatValue other)
FloatValue
generalize
in class FloatValue
public FloatValue add(ParticularFloatValue other)
FloatValue
add
in class FloatValue
public FloatValue subtract(ParticularFloatValue other)
FloatValue
subtract
in class FloatValue
public FloatValue subtractFrom(ParticularFloatValue other)
FloatValue
subtractFrom
in class FloatValue
public FloatValue multiply(ParticularFloatValue other)
FloatValue
multiply
in class FloatValue
public FloatValue divide(ParticularFloatValue other)
FloatValue
divide
in class FloatValue
public FloatValue divideOf(ParticularFloatValue other)
FloatValue
divideOf
in class FloatValue
public FloatValue remainder(ParticularFloatValue other)
FloatValue
remainder
in class FloatValue
public FloatValue remainderOf(ParticularFloatValue other)
FloatValue
remainderOf
in class FloatValue
public IntegerValue compare(ParticularFloatValue other)
FloatValue
compare
in class FloatValue
public boolean isParticular()
Value
isParticular
in class Value
public boolean equals(java.lang.Object object)
equals
in class SpecificFloatValue
public int hashCode()
hashCode
in class SpecificFloatValue
public java.lang.String toString()
toString
in class java.lang.Object