Package proguard.evaluation.value

Class ParticularFloatValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.FloatValue

proguard.evaluation.value.SpecificFloatValue

proguard.evaluation.value.ParticularFloatValue

public final class ParticularFloatValue
extends SpecificFloatValue

This FloatValue represents a particular 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
ParticularFloatValue(float value)	Creates a new particular float value.

Method Summary

Modifier and Type	Method	Description
FloatValue	add(FloatValue other)	Returns the sum of this FloatValue and the given FloatValue.
FloatValue	add(ParticularFloatValue other)	Returns the sum of this FloatValue and the given ParticularFloatValue.
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(ParticularFloatValue other)	Returns an IntegerValue with value -1, 0, or 1, if this FloatValue is less than, equal to, or greater than the given ParticularFloatValue, 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(ParticularFloatValue other)	Returns the quotient of this FloatValue and the given ParticularFloatValue.
FloatValue	divideOf(FloatValue other)	Returns the quotient of the given FloatValue and this FloatValue.
FloatValue	divideOf(ParticularFloatValue other)	Returns the quotient of the given ParticularFloatValue and this FloatValue.
boolean	equals(Object object)
FloatValue	generalize(FloatValue other)	Returns the generalization of this FloatValue and the given other FloatValue.
FloatValue	generalize(ParticularFloatValue other)	Returns the generalization of this FloatValue and the given other ParticularFloatValue.
int	hashCode()
boolean	isParticular()	Returns whether this Value represents a single particular (known) value.
FloatValue	multiply(FloatValue other)	Returns the product of this FloatValue and the given FloatValue.
FloatValue	multiply(ParticularFloatValue other)	Returns the product of this FloatValue and the given ParticularFloatValue.
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(ParticularFloatValue other)	Returns the remainder of this FloatValue divided by the given ParticularFloatValue.
FloatValue	remainderOf(FloatValue other)	Returns the remainder of the given FloatValue divided by this FloatValue.
FloatValue	remainderOf(ParticularFloatValue other)	Returns the remainder of the given ParticularFloatValue and this FloatValue.
FloatValue	subtract(FloatValue other)	Returns the difference of this FloatValue and the given FloatValue.
FloatValue	subtract(ParticularFloatValue other)	Returns the difference of this FloatValue and the given ParticularFloatValue.
FloatValue	subtractFrom(FloatValue other)	Returns the difference of the given FloatValue and this FloatValue.
FloatValue	subtractFrom(ParticularFloatValue other)	Returns the difference of the given ParticularFloatValue and this FloatValue.
String	toString()
float	value()	Returns the specific float value, if applicable.

Methods inherited from class proguard.evaluation.value.SpecificFloatValue

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

Methods inherited from class proguard.evaluation.value.FloatValue

compareReverse, compareReverse, compareReverse, computationalType, floatValue, generalize, internalType

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

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

Methods inherited from class java.lang.Object

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

Constructor Details

ParticularFloatValue

public ParticularFloatValue(float value)

Creates a new particular float value.

Method Details

value

public float value()

Description copied from class: FloatValue

Returns the specific float value, if applicable.

Overrides:

value in class FloatValue

negate

public FloatValue negate()

Description copied from class: FloatValue

Returns the negated value of this FloatValue.

Overrides:

negate in class SpecificFloatValue

convertToInteger

public IntegerValue convertToInteger()

Description copied from class: FloatValue

Converts this FloatValue to an IntegerValue.

Overrides:

convertToInteger in class SpecificFloatValue

convertToLong

public LongValue convertToLong()

Description copied from class: FloatValue

Converts this FloatValue to a LongValue.

Overrides:

convertToLong in class SpecificFloatValue

convertToDouble

public DoubleValue convertToDouble()

Description copied from class: FloatValue

Converts this FloatValue to a DoubleValue.

Overrides:

convertToDouble in class SpecificFloatValue

generalize

public FloatValue generalize(FloatValue other)

Description copied from class: FloatValue

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

Overrides:

generalize in class SpecificFloatValue

add

public FloatValue add(FloatValue other)

Description copied from class: FloatValue

Returns the sum of this FloatValue and the given FloatValue.

Overrides:

add in class SpecificFloatValue

subtract

public FloatValue subtract(FloatValue other)

Description copied from class: FloatValue

Returns the difference of this FloatValue and the given FloatValue.

Overrides:

subtract in class SpecificFloatValue

subtractFrom

public FloatValue subtractFrom(FloatValue other)

Description copied from class: FloatValue

Returns the difference of the given FloatValue and this FloatValue.

Overrides:

subtractFrom in class SpecificFloatValue

multiply

public FloatValue multiply(FloatValue other)

Description copied from class: FloatValue

Returns the product of this FloatValue and the given FloatValue.

Overrides:

multiply in class SpecificFloatValue

divide

public FloatValue divide(FloatValue other)

Description copied from class: FloatValue

Returns the quotient of this FloatValue and the given FloatValue.

Overrides:

divide in class SpecificFloatValue

divideOf

public FloatValue divideOf(FloatValue other)

Description copied from class: FloatValue

Returns the quotient of the given FloatValue and this FloatValue.

Overrides:

divideOf in class SpecificFloatValue

remainder

public FloatValue remainder(FloatValue other)

Description copied from class: FloatValue

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

Overrides:

remainder in class SpecificFloatValue

remainderOf

public FloatValue remainderOf(FloatValue other)

Description copied from class: FloatValue

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

Overrides:

remainderOf in class SpecificFloatValue

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.

Overrides:

compare in class SpecificFloatValue

generalize

public FloatValue generalize(ParticularFloatValue other)

Description copied from class: FloatValue

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

Overrides:

generalize in class FloatValue

add

public FloatValue add(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the sum of this FloatValue and the given ParticularFloatValue.

Overrides:

add in class FloatValue

subtract

public FloatValue subtract(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the difference of this FloatValue and the given ParticularFloatValue.

Overrides:

subtract in class FloatValue

subtractFrom

public FloatValue subtractFrom(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the difference of the given ParticularFloatValue and this FloatValue.

Overrides:

subtractFrom in class FloatValue

multiply

public FloatValue multiply(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the product of this FloatValue and the given ParticularFloatValue.

Overrides:

multiply in class FloatValue

divide

public FloatValue divide(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the quotient of this FloatValue and the given ParticularFloatValue.

Overrides:

divide in class FloatValue

divideOf

public FloatValue divideOf(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the quotient of the given ParticularFloatValue and this FloatValue.

Overrides:

divideOf in class FloatValue

remainder

public FloatValue remainder(ParticularFloatValue other)

Description copied from class: FloatValue

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

Overrides:

remainder in class FloatValue

remainderOf

public FloatValue remainderOf(ParticularFloatValue other)

Description copied from class: FloatValue

Returns the remainder of the given ParticularFloatValue and this FloatValue.

Overrides:

remainderOf in class FloatValue

compare

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

Overrides:

compare in class FloatValue

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 SpecificFloatValue

hashCode

public int hashCode()

Overrides:

hashCode in class SpecificFloatValue

toString

public String toString()

Overrides:

toString in class Object