proguard.evaluation.value
Class UnknownFloatValue

java.lang.Object
  extended by proguard.evaluation.value.Value
      extended by proguard.evaluation.value.Category1Value
          extended by proguard.evaluation.value.FloatValue
              extended by proguard.evaluation.value.UnknownFloatValue

public class UnknownFloatValue
extends FloatValue

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
UnknownFloatValue()
           
 
Method Summary
 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, 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