Package proguard.evaluation.value

Class SpecificFloatValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.FloatValue

proguard.evaluation.value.SpecificFloatValue

Direct Known Subclasses:

CompositeFloatValue, ConvertedFloatValue, IdentifiedFloatValue, NegatedFloatValue, ParticularFloatValue

public abstract class SpecificFloatValue
extends FloatValue

This FloatValue represents a specific float 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
SpecificFloatValue()

Method Summary

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

Methods inherited from class proguard.evaluation.value.FloatValue

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

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

category2Value, copyIfMutable, doubleValue, instructionOffsetValue, integerValue, isParticular, longValue, referenceValue

Methods inherited from class java.lang.Object

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

Constructor Detail

SpecificFloatValue

public SpecificFloatValue()

Method Detail

negate

public FloatValue negate()

Description copied from class: FloatValue

Returns the negated value of this FloatValue.

Specified by:

negate in class FloatValue

convertToInteger

public IntegerValue convertToInteger()

Description copied from class: FloatValue

Converts this FloatValue to an IntegerValue.

Specified by:

convertToInteger in class FloatValue

convertToLong

public LongValue convertToLong()

Description copied from class: FloatValue

Converts this FloatValue to a LongValue.

Specified by:

convertToLong in class FloatValue

convertToDouble

public DoubleValue convertToDouble()

Description copied from class: FloatValue

Converts this FloatValue to a DoubleValue.

Specified by:

convertToDouble in class FloatValue

generalize

public FloatValue generalize(FloatValue other)

Description copied from class: FloatValue

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

Specified by:

generalize in class FloatValue

add

public FloatValue add(FloatValue other)

Description copied from class: FloatValue

Returns the sum of this FloatValue and the given FloatValue.

Specified by:

add in class FloatValue

subtract

public FloatValue subtract(FloatValue other)

Description copied from class: FloatValue

Returns the difference of this FloatValue and the given FloatValue.

Specified by:

subtract in class FloatValue

subtractFrom

public FloatValue subtractFrom(FloatValue other)

Description copied from class: FloatValue

Returns the difference of the given FloatValue and this FloatValue.

Specified by:

subtractFrom in class FloatValue

multiply

public FloatValue multiply(FloatValue other)

Description copied from class: FloatValue

Returns the product of this FloatValue and the given FloatValue.

Specified by:

multiply in class FloatValue

divide

public FloatValue divide(FloatValue other)

Description copied from class: FloatValue

Returns the quotient of this FloatValue and the given FloatValue.

Specified by:

divide in class FloatValue

divideOf

public FloatValue divideOf(FloatValue other)

Description copied from class: FloatValue

Returns the quotient of the given FloatValue and this FloatValue.

Specified by:

divideOf in class FloatValue

remainder

public FloatValue remainder(FloatValue other)

Description copied from class: FloatValue

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

Specified by:

remainder in class FloatValue

remainderOf

public FloatValue remainderOf(FloatValue other)

Description copied from class: FloatValue

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

Specified by:

remainderOf in class FloatValue

compare

public IntegerValue compare(FloatValue other)

Description copied from class: FloatValue

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

Specified by:

compare in class FloatValue

generalize

public FloatValue generalize(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the generalization of this FloatValue and the given other SpecificFloatValue.

Overrides:

generalize in class FloatValue

add

public FloatValue add(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the sum of this FloatValue and the given SpecificFloatValue.

Overrides:

add in class FloatValue

subtract

public FloatValue subtract(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the difference of this FloatValue and the given SpecificFloatValue.

Overrides:

subtract in class FloatValue

subtractFrom

public FloatValue subtractFrom(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the difference of the given SpecificFloatValue and this FloatValue.

Overrides:

subtractFrom in class FloatValue

multiply

public FloatValue multiply(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the product of this FloatValue and the given SpecificFloatValue.

Overrides:

multiply in class FloatValue

divide

public FloatValue divide(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the quotient of this FloatValue and the given SpecificFloatValue.

Overrides:

divide in class FloatValue

divideOf

public FloatValue divideOf(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the quotient of the given SpecificFloatValue and this FloatValue.

Overrides:

divideOf in class FloatValue

remainder

public FloatValue remainder(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the remainder of this FloatValue divided by the given SpecificFloatValue.

Overrides:

remainder in class FloatValue

remainderOf

public FloatValue remainderOf(SpecificFloatValue other)

Description copied from class: FloatValue

Returns the remainder of the given SpecificFloatValue and this FloatValue.

Overrides:

remainderOf in class FloatValue

compare

public IntegerValue compare(SpecificFloatValue other)

Description copied from class: FloatValue

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

Overrides:

compare in class FloatValue

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