Package proguard.evaluation.value

Class SpecificDoubleValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category2Value

proguard.evaluation.value.DoubleValue

proguard.evaluation.value.SpecificDoubleValue

Direct Known Subclasses:

CompositeDoubleValue, ConvertedDoubleValue, IdentifiedDoubleValue, NegatedDoubleValue, ParticularDoubleValue

public abstract class SpecificDoubleValue
extends DoubleValue

This DoubleValue represents a specific double 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
SpecificDoubleValue()

Method Summary

Modifier and Type	Method	Description
DoubleValue	add(DoubleValue other)	Returns the sum of this DoubleValue and the given DoubleValue.
DoubleValue	add(SpecificDoubleValue other)	Returns the sum of this DoubleValue and the given SpecificDoubleValue.
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(SpecificDoubleValue other)	Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, 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(SpecificDoubleValue other)	Returns the quotient of this DoubleValue and the given SpecificDoubleValue.
DoubleValue	divideOf(DoubleValue other)	Returns the quotient of the given DoubleValue and this DoubleValue.
DoubleValue	divideOf(SpecificDoubleValue other)	Returns the quotient of the given SpecificDoubleValue 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(SpecificDoubleValue other)	Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.
int	hashCode()
boolean	isSpecific()	Returns whether this Value represents a single specific (but possibly unknown) value.
DoubleValue	multiply(DoubleValue other)	Returns the product of this DoubleValue and the given DoubleValue.
DoubleValue	multiply(SpecificDoubleValue other)	Returns the product of this DoubleValue and the given SpecificDoubleValue.
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(SpecificDoubleValue other)	Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.
DoubleValue	remainderOf(DoubleValue other)	Returns the remainder of the given DoubleValue divided by this DoubleValue.
DoubleValue	remainderOf(SpecificDoubleValue other)	Returns the remainder of the given SpecificDoubleValue and this DoubleValue.
DoubleValue	subtract(DoubleValue other)	Returns the difference of this DoubleValue and the given DoubleValue.
DoubleValue	subtract(SpecificDoubleValue other)	Returns the difference of this DoubleValue and the given SpecificDoubleValue.
DoubleValue	subtractFrom(DoubleValue other)	Returns the difference of the given DoubleValue and this DoubleValue.
DoubleValue	subtractFrom(SpecificDoubleValue other)	Returns the difference of the given SpecificDoubleValue and this DoubleValue.

Methods inherited from class proguard.evaluation.value.DoubleValue

add, compare, compareReverse, compareReverse, compareReverse, computationalType, divide, divideOf, doubleValue, generalize, generalize, internalType, multiply, remainder, remainderOf, subtract, subtractFrom, value

Methods inherited from class proguard.evaluation.value.Category2Value

category2Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

category1Value, copyIfMutable, floatValue, instructionOffsetValue, integerValue, isParticular, longValue, referenceValue

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SpecificDoubleValue

public SpecificDoubleValue()

Method Detail

negate

public DoubleValue negate()

Description copied from class: DoubleValue

Returns the negated value of this DoubleValue.

Specified by:

negate in class DoubleValue

convertToInteger

public IntegerValue convertToInteger()

Description copied from class: DoubleValue

Converts this DoubleValue to an IntegerValue.

Specified by:

convertToInteger in class DoubleValue

convertToLong

public LongValue convertToLong()

Description copied from class: DoubleValue

Converts this DoubleValue to a LongValue.

Specified by:

convertToLong in class DoubleValue

convertToFloat

public FloatValue convertToFloat()

Description copied from class: DoubleValue

Converts this DoubleValue to a FloatValue.

Specified by:

convertToFloat in class DoubleValue

generalize

public DoubleValue generalize(DoubleValue other)

Description copied from class: DoubleValue

Returns the generalization of this DoubleValue and the given other DoubleValue.

Specified by:

generalize in class DoubleValue

add

public DoubleValue add(DoubleValue other)

Description copied from class: DoubleValue

Returns the sum of this DoubleValue and the given DoubleValue.

Specified by:

add in class DoubleValue

subtract

public DoubleValue subtract(DoubleValue other)

Description copied from class: DoubleValue

Returns the difference of this DoubleValue and the given DoubleValue.

Specified by:

subtract in class DoubleValue

subtractFrom

public DoubleValue subtractFrom(DoubleValue other)

Description copied from class: DoubleValue

Returns the difference of the given DoubleValue and this DoubleValue.

Specified by:

subtractFrom in class DoubleValue

multiply

public DoubleValue multiply(DoubleValue other)

Description copied from class: DoubleValue

Returns the product of this DoubleValue and the given DoubleValue.

Specified by:

multiply in class DoubleValue

divide

public DoubleValue divide(DoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of this DoubleValue and the given DoubleValue.

Specified by:

divide in class DoubleValue

divideOf

public DoubleValue divideOf(DoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of the given DoubleValue and this DoubleValue.

Specified by:

divideOf in class DoubleValue

remainder

public DoubleValue remainder(DoubleValue other)

Description copied from class: DoubleValue

Returns the remainder of this DoubleValue divided by the given DoubleValue.

Specified by:

remainder in class DoubleValue

remainderOf

public DoubleValue remainderOf(DoubleValue other)

Description copied from class: DoubleValue

Returns the remainder of the given DoubleValue divided by this DoubleValue.

Specified by:

remainderOf in class DoubleValue

compare

public IntegerValue compare(DoubleValue other)

Description copied from class: DoubleValue

Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.

Specified by:

compare in class DoubleValue

generalize

public DoubleValue generalize(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.

Overrides:

generalize in class DoubleValue

add

public DoubleValue add(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the sum of this DoubleValue and the given SpecificDoubleValue.

Overrides:

add in class DoubleValue

subtract

public DoubleValue subtract(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the difference of this DoubleValue and the given SpecificDoubleValue.

Overrides:

subtract in class DoubleValue

subtractFrom

public DoubleValue subtractFrom(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the difference of the given SpecificDoubleValue and this DoubleValue.

Overrides:

subtractFrom in class DoubleValue

multiply

public DoubleValue multiply(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the product of this DoubleValue and the given SpecificDoubleValue.

Overrides:

multiply in class DoubleValue

divide

public DoubleValue divide(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of this DoubleValue and the given SpecificDoubleValue.

Overrides:

divide in class DoubleValue

divideOf

public DoubleValue divideOf(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of the given SpecificDoubleValue and this DoubleValue.

Overrides:

divideOf in class DoubleValue

remainder

public DoubleValue remainder(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.

Overrides:

remainder in class DoubleValue

remainderOf

public DoubleValue remainderOf(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns the remainder of the given SpecificDoubleValue and this DoubleValue.

Overrides:

remainderOf in class DoubleValue

compare

public IntegerValue compare(SpecificDoubleValue other)

Description copied from class: DoubleValue

Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.

Overrides:

compare in class DoubleValue

isSpecific

public boolean isSpecific()

Description copied from class: Value

Returns whether this Value represents a single specific (but possibly unknown) value.

Overrides:

isSpecific in class Value

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object