Package proguard.evaluation.value

Class ParticularDoubleValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category2Value

proguard.evaluation.value.DoubleValue

proguard.evaluation.value.SpecificDoubleValue

proguard.evaluation.value.ParticularDoubleValue

public final class ParticularDoubleValue
extends SpecificDoubleValue

This DoubleValue represents a particular 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
ParticularDoubleValue(double value)	Creates a new particular double value.

Method Summary

Modifier and Type	Method	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(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.
String	toString()
double	value()	Returns the specific double value, if applicable.

Methods inherited from class proguard.evaluation.value.SpecificDoubleValue

add, compare, divide, divideOf, generalize, isSpecific, multiply, remainder, remainderOf, subtract, subtractFrom

Methods inherited from class proguard.evaluation.value.DoubleValue

compareReverse, compareReverse, compareReverse, computationalType, doubleValue, generalize, internalType

Methods inherited from class proguard.evaluation.value.Category2Value

category2Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

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

Methods inherited from class java.lang.Object

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

Constructor Details

ParticularDoubleValue

public ParticularDoubleValue(double value)

Creates a new particular double value.

Method Details

value

public double value()

Description copied from class: DoubleValue

Returns the specific double value, if applicable.

Overrides:

value in class DoubleValue

negate

public DoubleValue negate()

Description copied from class: DoubleValue

Returns the negated value of this DoubleValue.

Overrides:

negate in class SpecificDoubleValue

convertToInteger

public IntegerValue convertToInteger()

Description copied from class: DoubleValue

Converts this DoubleValue to an IntegerValue.

Overrides:

convertToInteger in class SpecificDoubleValue

convertToLong

public LongValue convertToLong()

Description copied from class: DoubleValue

Converts this DoubleValue to a LongValue.

Overrides:

convertToLong in class SpecificDoubleValue

convertToFloat

public FloatValue convertToFloat()

Description copied from class: DoubleValue

Converts this DoubleValue to a FloatValue.

Overrides:

convertToFloat in class SpecificDoubleValue

generalize

public DoubleValue generalize(DoubleValue other)

Description copied from class: DoubleValue

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

Overrides:

generalize in class SpecificDoubleValue

add

public DoubleValue add(DoubleValue other)

Description copied from class: DoubleValue

Returns the sum of this DoubleValue and the given DoubleValue.

Overrides:

add in class SpecificDoubleValue

subtract

public DoubleValue subtract(DoubleValue other)

Description copied from class: DoubleValue

Returns the difference of this DoubleValue and the given DoubleValue.

Overrides:

subtract in class SpecificDoubleValue

subtractFrom

public DoubleValue subtractFrom(DoubleValue other)

Description copied from class: DoubleValue

Returns the difference of the given DoubleValue and this DoubleValue.

Overrides:

subtractFrom in class SpecificDoubleValue

multiply

public DoubleValue multiply(DoubleValue other)

Description copied from class: DoubleValue

Returns the product of this DoubleValue and the given DoubleValue.

Overrides:

multiply in class SpecificDoubleValue

divide

public DoubleValue divide(DoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of this DoubleValue and the given DoubleValue.

Overrides:

divide in class SpecificDoubleValue

divideOf

public DoubleValue divideOf(DoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of the given DoubleValue and this DoubleValue.

Overrides:

divideOf in class SpecificDoubleValue

remainder

public DoubleValue remainder(DoubleValue other)

Description copied from class: DoubleValue

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

Overrides:

remainder in class SpecificDoubleValue

remainderOf

public DoubleValue remainderOf(DoubleValue other)

Description copied from class: DoubleValue

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

Overrides:

remainderOf in class SpecificDoubleValue

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.

Overrides:

compare in class SpecificDoubleValue

generalize

public DoubleValue generalize(ParticularDoubleValue other)

Description copied from class: DoubleValue

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

Overrides:

generalize in class DoubleValue

add

public DoubleValue add(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the sum of this DoubleValue and the given ParticularDoubleValue.

Overrides:

add in class DoubleValue

subtract

public DoubleValue subtract(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the difference of this DoubleValue and the given ParticularDoubleValue.

Overrides:

subtract in class DoubleValue

subtractFrom

public DoubleValue subtractFrom(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the difference of the given ParticularDoubleValue and this DoubleValue.

Overrides:

subtractFrom in class DoubleValue

multiply

public DoubleValue multiply(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the product of this DoubleValue and the given ParticularDoubleValue.

Overrides:

multiply in class DoubleValue

divide

public DoubleValue divide(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of this DoubleValue and the given ParticularDoubleValue.

Overrides:

divide in class DoubleValue

divideOf

public DoubleValue divideOf(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the quotient of the given ParticularDoubleValue and this DoubleValue.

Overrides:

divideOf in class DoubleValue

remainder

public DoubleValue remainder(ParticularDoubleValue other)

Description copied from class: DoubleValue

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

Overrides:

remainder in class DoubleValue

remainderOf

public DoubleValue remainderOf(ParticularDoubleValue other)

Description copied from class: DoubleValue

Returns the remainder of the given ParticularDoubleValue and this DoubleValue.

Overrides:

remainderOf in class DoubleValue

compare

public IntegerValue compare(ParticularDoubleValue 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 ParticularDoubleValue, respectively.

Overrides:

compare in class DoubleValue

isParticular

public boolean isParticular()

Description copied from class: Value

Returns whether this Value represents a single particular (known) value.

Overrides:

isParticular in class Value

equals

public boolean equals(Object object)

Overrides:

equals in class SpecificDoubleValue

hashCode

public int hashCode()

Overrides:

hashCode in class SpecificDoubleValue

toString

public String toString()

Overrides:

toString in class Object