proguard.evaluation.value
Class FloatValue

java.lang.Object
  proguard.evaluation.value.Value
      proguard.evaluation.value.Category1Value
          proguard.evaluation.value.FloatValue

Direct Known Subclasses:

UnknownFloatValue

public abstract class FloatValue
extends Category1Value

This class represents a partially evaluated 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

Constructor Summary

FloatValue()

Method Summary

abstract FloatValue	add(FloatValue other) Returns the sum of this FloatValue and the given FloatValue.
FloatValue	add(proguard.evaluation.value.ParticularFloatValue other) Returns the sum of this FloatValue and the given ParticularFloatValue.
FloatValue	add(proguard.evaluation.value.SpecificFloatValue other) Returns the sum of this FloatValue and the given SpecificFloatValue.
abstract 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(proguard.evaluation.value.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.
IntegerValue	compare(proguard.evaluation.value.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.
IntegerValue	compareReverse(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	compareReverse(proguard.evaluation.value.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.
IntegerValue	compareReverse(proguard.evaluation.value.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.
int	computationalType() Returns the computational type of this Value.
abstract DoubleValue	convertToDouble() Converts this FloatValue to a DoubleValue.
abstract IntegerValue	convertToInteger() Converts this FloatValue to an IntegerValue.
abstract LongValue	convertToLong() Converts this FloatValue to a LongValue.
abstract FloatValue	divide(FloatValue other) Returns the quotient of this FloatValue and the given FloatValue.
FloatValue	divide(proguard.evaluation.value.ParticularFloatValue other) Returns the quotient of this FloatValue and the given ParticularFloatValue.
FloatValue	divide(proguard.evaluation.value.SpecificFloatValue other) Returns the quotient of this FloatValue and the given SpecificFloatValue.
abstract FloatValue	divideOf(FloatValue other) Returns the quotient of the given FloatValue and this FloatValue.
FloatValue	divideOf(proguard.evaluation.value.ParticularFloatValue other) Returns the quotient of the given ParticularFloatValue and this FloatValue.
FloatValue	divideOf(proguard.evaluation.value.SpecificFloatValue other) Returns the quotient of the given SpecificFloatValue and this FloatValue.
FloatValue	floatValue() Returns this Value as a FloatValue.
abstract FloatValue	generalize(FloatValue other) Returns the generalization of this FloatValue and the given other FloatValue.
FloatValue	generalize(proguard.evaluation.value.ParticularFloatValue other) Returns the generalization of this FloatValue and the given other ParticularFloatValue.
FloatValue	generalize(proguard.evaluation.value.SpecificFloatValue other) Returns the generalization of this FloatValue and the given other SpecificFloatValue.
Value	generalize(Value other) Returns the generalization of this Value and the given other Value.
java.lang.String	internalType() Returns the internal type of this Value.
abstract FloatValue	multiply(FloatValue other) Returns the product of this FloatValue and the given FloatValue.
FloatValue	multiply(proguard.evaluation.value.ParticularFloatValue other) Returns the product of this FloatValue and the given ParticularFloatValue.
FloatValue	multiply(proguard.evaluation.value.SpecificFloatValue other) Returns the product of this FloatValue and the given SpecificFloatValue.
abstract FloatValue	negate() Returns the negated value of this FloatValue.
abstract FloatValue	remainder(FloatValue other) Returns the remainder of this FloatValue divided by the given FloatValue.
FloatValue	remainder(proguard.evaluation.value.ParticularFloatValue other) Returns the remainder of this FloatValue divided by the given ParticularFloatValue.
FloatValue	remainder(proguard.evaluation.value.SpecificFloatValue other) Returns the remainder of this FloatValue divided by the given SpecificFloatValue.
abstract FloatValue	remainderOf(FloatValue other) Returns the remainder of the given FloatValue divided by this FloatValue.
FloatValue	remainderOf(proguard.evaluation.value.ParticularFloatValue other) Returns the remainder of the given ParticularFloatValue and this FloatValue.
FloatValue	remainderOf(proguard.evaluation.value.SpecificFloatValue other) Returns the remainder of the given SpecificFloatValue and this FloatValue.
abstract FloatValue	subtract(FloatValue other) Returns the difference of this FloatValue and the given FloatValue.
FloatValue	subtract(proguard.evaluation.value.ParticularFloatValue other) Returns the difference of this FloatValue and the given ParticularFloatValue.
FloatValue	subtract(proguard.evaluation.value.SpecificFloatValue other) Returns the difference of this FloatValue and the given SpecificFloatValue.
abstract FloatValue	subtractFrom(FloatValue other) Returns the difference of the given FloatValue and this FloatValue.
FloatValue	subtractFrom(proguard.evaluation.value.ParticularFloatValue other) Returns the difference of the given ParticularFloatValue and this FloatValue.
FloatValue	subtractFrom(proguard.evaluation.value.SpecificFloatValue other) Returns the difference of the given SpecificFloatValue and this FloatValue.
float	value() Returns the specific float value, if applicable.

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FloatValue

public FloatValue()

Method Detail

value

public float value()

Returns the specific float value, if applicable.

negate

public abstract FloatValue negate()

Returns the negated value of this FloatValue.

convertToInteger

public abstract IntegerValue convertToInteger()

Converts this FloatValue to an IntegerValue.

convertToLong

public abstract LongValue convertToLong()

Converts this FloatValue to a LongValue.

convertToDouble

public abstract DoubleValue convertToDouble()

Converts this FloatValue to a DoubleValue.

generalize

public abstract FloatValue generalize(FloatValue other)

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

add

public abstract FloatValue add(FloatValue other)

Returns the sum of this FloatValue and the given FloatValue.

subtract

public abstract FloatValue subtract(FloatValue other)

Returns the difference of this FloatValue and the given FloatValue.

subtractFrom

public abstract FloatValue subtractFrom(FloatValue other)

Returns the difference of the given FloatValue and this FloatValue.

multiply

public abstract FloatValue multiply(FloatValue other)

Returns the product of this FloatValue and the given FloatValue.

divide

public abstract FloatValue divide(FloatValue other)

Returns the quotient of this FloatValue and the given FloatValue.

divideOf

public abstract FloatValue divideOf(FloatValue other)

Returns the quotient of the given FloatValue and this FloatValue.

remainder

public abstract FloatValue remainder(FloatValue other)

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

remainderOf

public abstract FloatValue remainderOf(FloatValue other)

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

compare

public abstract 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.

compareReverse

public final IntegerValue compareReverse(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.

generalize

public FloatValue generalize(proguard.evaluation.value.SpecificFloatValue other)

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

add

public FloatValue add(proguard.evaluation.value.SpecificFloatValue other)

Returns the sum of this FloatValue and the given SpecificFloatValue.

subtract

public FloatValue subtract(proguard.evaluation.value.SpecificFloatValue other)

Returns the difference of this FloatValue and the given SpecificFloatValue.

subtractFrom

public FloatValue subtractFrom(proguard.evaluation.value.SpecificFloatValue other)

Returns the difference of the given SpecificFloatValue and this FloatValue.

multiply

public FloatValue multiply(proguard.evaluation.value.SpecificFloatValue other)

Returns the product of this FloatValue and the given SpecificFloatValue.

divide

public FloatValue divide(proguard.evaluation.value.SpecificFloatValue other)

Returns the quotient of this FloatValue and the given SpecificFloatValue.

divideOf

public FloatValue divideOf(proguard.evaluation.value.SpecificFloatValue other)

Returns the quotient of the given SpecificFloatValue and this FloatValue.

remainder

public FloatValue remainder(proguard.evaluation.value.SpecificFloatValue other)

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

remainderOf

public FloatValue remainderOf(proguard.evaluation.value.SpecificFloatValue other)

Returns the remainder of the given SpecificFloatValue and this FloatValue.

compare

public IntegerValue compare(proguard.evaluation.value.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.

compareReverse

public final IntegerValue compareReverse(proguard.evaluation.value.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.

generalize

public FloatValue generalize(proguard.evaluation.value.ParticularFloatValue other)

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

add

public FloatValue add(proguard.evaluation.value.ParticularFloatValue other)

Returns the sum of this FloatValue and the given ParticularFloatValue.

subtract

public FloatValue subtract(proguard.evaluation.value.ParticularFloatValue other)

Returns the difference of this FloatValue and the given ParticularFloatValue.

subtractFrom

public FloatValue subtractFrom(proguard.evaluation.value.ParticularFloatValue other)

Returns the difference of the given ParticularFloatValue and this FloatValue.

multiply

public FloatValue multiply(proguard.evaluation.value.ParticularFloatValue other)

Returns the product of this FloatValue and the given ParticularFloatValue.

divide

public FloatValue divide(proguard.evaluation.value.ParticularFloatValue other)

Returns the quotient of this FloatValue and the given ParticularFloatValue.

divideOf

public FloatValue divideOf(proguard.evaluation.value.ParticularFloatValue other)

Returns the quotient of the given ParticularFloatValue and this FloatValue.

remainder

public FloatValue remainder(proguard.evaluation.value.ParticularFloatValue other)

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

remainderOf

public FloatValue remainderOf(proguard.evaluation.value.ParticularFloatValue other)

Returns the remainder of the given ParticularFloatValue and this FloatValue.

compare

public IntegerValue compare(proguard.evaluation.value.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.

compareReverse

public final IntegerValue compareReverse(proguard.evaluation.value.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.

floatValue

public final FloatValue floatValue()

Description copied from class: Value

Returns this Value as a FloatValue.

Overrides:

floatValue in class Value

generalize

public final Value generalize(Value other)

Description copied from class: Value

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

Specified by:

generalize in class Value

computationalType

public final int computationalType()

Description copied from class: Value

Returns the computational type of this Value.

Specified by:

computationalType in class Value

Returns:

TYPE_INTEGER, TYPE_LONG, TYPE_FLOAT, TYPE_DOUBLE, TYPE_REFERENCE, or TYPE_INSTRUCTION_OFFSET.

internalType

public final java.lang.String internalType()

Description copied from class: Value

Returns the internal type of this Value.

Specified by:

internalType in class Value

Returns:

ClassConstants.INTERNAL_TYPE_BOOLEAN, ClassConstants.INTERNAL_TYPE_BYTE, ClassConstants.INTERNAL_TYPE_CHAR, ClassConstants.INTERNAL_TYPE_SHORT, ClassConstants.INTERNAL_TYPE_INT, ClassConstants.INTERNAL_TYPE_LONG, ClassConstants.INTERNAL_TYPE_FLOAT, ClassConstants.INTERNAL_TYPE_DOUBLE, ClassConstants.INTERNAL_TYPE_CLASS_START ... ClassConstants.INTERNAL_TYPE_CLASS_END, or an array type containing any of these types (always as String).