Package proguard.evaluation.value

Class UnknownFloatValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.FloatValue

proguard.evaluation.value.UnknownFloatValue

public class UnknownFloatValue
extends FloatValue

FloatValue that is unknown.

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
UnknownFloatValue()

Method Summary

Modifier and Type	Method	Description
FloatValue	add(FloatValue other)	Returns the sum of this FloatValue and the given FloatValue.
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.
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	divideOf(FloatValue other)	Returns the quotient of the given FloatValue and this FloatValue.
boolean	equals(java.lang.Object object)
FloatValue	generalize(FloatValue other)	Returns the generalization of this FloatValue and the given other FloatValue.
int	hashCode()
FloatValue	multiply(FloatValue other)	Returns the product of this FloatValue and the given FloatValue.
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	remainderOf(FloatValue other)	Returns the remainder of the given FloatValue divided by this FloatValue.
FloatValue	subtract(FloatValue other)	Returns the difference of this FloatValue and the given FloatValue.
FloatValue	subtractFrom(FloatValue other)	Returns the difference of the given FloatValue and this FloatValue.
java.lang.String	toString()

Methods inherited from class proguard.evaluation.value.FloatValue

add, add, compare, compare, compareReverse, compareReverse, compareReverse, computationalType, divide, divide, divideOf, divideOf, floatValue, generalize, generalize, generalize, internalType, multiply, multiply, remainder, remainder, remainderOf, remainderOf, subtract, subtract, subtractFrom, 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, isSpecific, longValue, referenceValue

Methods inherited from class java.lang.Object

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

Constructor Detail

UnknownFloatValue

public UnknownFloatValue()

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

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object