public final class ParticularDoubleValue extends SpecificDoubleValue
DoubleValue
represents a particular double value.ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP, TYPE_UNKNOWN
Constructor and Description |
---|
ParticularDoubleValue(double value)
Creates a new particular double value.
|
Modifier and Type | Method and Description |
---|---|
DoubleValue |
add(DoubleValue other)
Returns the sum of this DoubleValue and the given DoubleValue.
|
DoubleValue |
add(ParticularDoubleValue other)
Returns the sum of this DoubleValue and the given ParticularDoubleValue.
|
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.
|
IntegerValue |
compare(ParticularDoubleValue other)
Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or
greater than the given ParticularDoubleValue, 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 |
divide(ParticularDoubleValue other)
Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
|
DoubleValue |
divideOf(DoubleValue other)
Returns the quotient of the given DoubleValue and this DoubleValue.
|
DoubleValue |
divideOf(ParticularDoubleValue other)
Returns the quotient of the given ParticularDoubleValue and this DoubleValue.
|
boolean |
equals(java.lang.Object object) |
DoubleValue |
generalize(DoubleValue other)
Returns the generalization of this DoubleValue and the given other DoubleValue.
|
DoubleValue |
generalize(ParticularDoubleValue other)
Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.
|
int |
hashCode() |
boolean |
isParticular()
Returns whether this Value represents a single particular (known) value.
|
DoubleValue |
multiply(DoubleValue other)
Returns the product of this DoubleValue and the given DoubleValue.
|
DoubleValue |
multiply(ParticularDoubleValue other)
Returns the product of this DoubleValue and the given ParticularDoubleValue.
|
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 |
remainder(ParticularDoubleValue other)
Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.
|
DoubleValue |
remainderOf(DoubleValue other)
Returns the remainder of the given DoubleValue divided by this DoubleValue.
|
DoubleValue |
remainderOf(ParticularDoubleValue other)
Returns the remainder of the given ParticularDoubleValue and this DoubleValue.
|
DoubleValue |
subtract(DoubleValue other)
Returns the difference of this DoubleValue and the given DoubleValue.
|
DoubleValue |
subtract(ParticularDoubleValue other)
Returns the difference of this DoubleValue and the given ParticularDoubleValue.
|
DoubleValue |
subtractFrom(DoubleValue other)
Returns the difference of the given DoubleValue and this DoubleValue.
|
DoubleValue |
subtractFrom(ParticularDoubleValue other)
Returns the difference of the given ParticularDoubleValue and this DoubleValue.
|
java.lang.String |
toString() |
double |
value()
Returns the specific double value, if applicable.
|
add, compare, divide, divideOf, generalize, isSpecific, multiply, remainder, remainderOf, subtract, subtractFrom
compareReverse, compareReverse, compareReverse, computationalType, doubleValue, generalize, internalType
category2Value, isCategory2
category1Value, copyIfMutable, floatValue, instructionOffsetValue, integerValue, longValue, referenceValue
public ParticularDoubleValue(double value)
public double value()
DoubleValue
value
in class DoubleValue
public DoubleValue negate()
DoubleValue
negate
in class SpecificDoubleValue
public IntegerValue convertToInteger()
DoubleValue
convertToInteger
in class SpecificDoubleValue
public LongValue convertToLong()
DoubleValue
convertToLong
in class SpecificDoubleValue
public FloatValue convertToFloat()
DoubleValue
convertToFloat
in class SpecificDoubleValue
public DoubleValue generalize(DoubleValue other)
DoubleValue
generalize
in class SpecificDoubleValue
public DoubleValue add(DoubleValue other)
DoubleValue
add
in class SpecificDoubleValue
public DoubleValue subtract(DoubleValue other)
DoubleValue
subtract
in class SpecificDoubleValue
public DoubleValue subtractFrom(DoubleValue other)
DoubleValue
subtractFrom
in class SpecificDoubleValue
public DoubleValue multiply(DoubleValue other)
DoubleValue
multiply
in class SpecificDoubleValue
public DoubleValue divide(DoubleValue other)
DoubleValue
divide
in class SpecificDoubleValue
public DoubleValue divideOf(DoubleValue other)
DoubleValue
divideOf
in class SpecificDoubleValue
public DoubleValue remainder(DoubleValue other)
DoubleValue
remainder
in class SpecificDoubleValue
public DoubleValue remainderOf(DoubleValue other)
DoubleValue
remainderOf
in class SpecificDoubleValue
public IntegerValue compare(DoubleValue other)
DoubleValue
compare
in class SpecificDoubleValue
public DoubleValue generalize(ParticularDoubleValue other)
DoubleValue
generalize
in class DoubleValue
public DoubleValue add(ParticularDoubleValue other)
DoubleValue
add
in class DoubleValue
public DoubleValue subtract(ParticularDoubleValue other)
DoubleValue
subtract
in class DoubleValue
public DoubleValue subtractFrom(ParticularDoubleValue other)
DoubleValue
subtractFrom
in class DoubleValue
public DoubleValue multiply(ParticularDoubleValue other)
DoubleValue
multiply
in class DoubleValue
public DoubleValue divide(ParticularDoubleValue other)
DoubleValue
divide
in class DoubleValue
public DoubleValue divideOf(ParticularDoubleValue other)
DoubleValue
divideOf
in class DoubleValue
public DoubleValue remainder(ParticularDoubleValue other)
DoubleValue
remainder
in class DoubleValue
public DoubleValue remainderOf(ParticularDoubleValue other)
DoubleValue
remainderOf
in class DoubleValue
public IntegerValue compare(ParticularDoubleValue other)
DoubleValue
compare
in class DoubleValue
public boolean isParticular()
Value
isParticular
in class Value
public boolean equals(java.lang.Object object)
equals
in class SpecificDoubleValue
public int hashCode()
hashCode
in class SpecificDoubleValue
public java.lang.String toString()
toString
in class java.lang.Object