proguard.evaluation.value
Class UnknownDoubleValue

java.lang.Object
  extended by proguard.evaluation.value.Value
      extended by proguard.evaluation.value.Category2Value
          extended by proguard.evaluation.value.DoubleValue
              extended by proguard.evaluation.value.UnknownDoubleValue

public class UnknownDoubleValue
extends DoubleValue

This class represents a partially evaluated double 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
UnknownDoubleValue()
           
 
Method Summary
 DoubleValue add(DoubleValue other)
          Returns the sum of this DoubleValue and the given DoubleValue.
 IntegerValue compare(DoubleValue other)
          Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.
 FloatValue convertToFloat()
          Converts this DoubleValue to a FloatValue.
 IntegerValue convertToInteger()
          Converts this DoubleValue to an IntegerValue.
 LongValue convertToLong()
          Converts this DoubleValue to a LongValue.
 DoubleValue divide(DoubleValue other)
          Returns the quotient of this DoubleValue and the given DoubleValue.
 DoubleValue divideOf(DoubleValue other)
          Returns the quotient of the given DoubleValue and this DoubleValue.
 boolean equals(java.lang.Object object)
           
 DoubleValue generalize(DoubleValue other)
          Returns the generalization of this DoubleValue and the given other DoubleValue.
 int hashCode()
           
 DoubleValue multiply(DoubleValue other)
          Returns the product of this DoubleValue and the given DoubleValue.
 DoubleValue negate()
          Returns the negated value of this DoubleValue.
 DoubleValue remainder(DoubleValue other)
          Returns the remainder of this DoubleValue divided by the given DoubleValue.
 DoubleValue remainderOf(DoubleValue other)
          Returns the remainder of the given DoubleValue divided by this DoubleValue.
 DoubleValue subtract(DoubleValue other)
          Returns the difference of this DoubleValue and the given DoubleValue.
 DoubleValue subtractFrom(DoubleValue other)
          Returns the difference of the given DoubleValue and this DoubleValue.
 java.lang.String toString()
           
 
Methods inherited from class proguard.evaluation.value.DoubleValue
add, add, compare, compare, compareReverse, compareReverse, compareReverse, computationalType, divide, divide, divideOf, divideOf, doubleValue, generalize, generalize, generalize, internalType, multiply, multiply, refresh, remainder, remainder, remainderOf, remainderOf, subtract, subtract, subtractFrom, subtractFrom, value
 
Methods inherited from class proguard.evaluation.value.Category2Value
category2Value, isCategory2
 
Methods inherited from class proguard.evaluation.value.Value
category1Value, floatValue, instructionOffsetValue, integerValue, isParticular, isSpecific, longValue, referenceValue
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

UnknownDoubleValue

public UnknownDoubleValue()
Method Detail

negate

public DoubleValue negate()
Description copied from class: DoubleValue
Returns the negated value of this DoubleValue.

Specified by:
negate in class DoubleValue

convertToInteger

public IntegerValue convertToInteger()
Description copied from class: DoubleValue
Converts this DoubleValue to an IntegerValue.

Specified by:
convertToInteger in class DoubleValue

convertToLong

public LongValue convertToLong()
Description copied from class: DoubleValue
Converts this DoubleValue to a LongValue.

Specified by:
convertToLong in class DoubleValue

convertToFloat

public FloatValue convertToFloat()
Description copied from class: DoubleValue
Converts this DoubleValue to a FloatValue.

Specified by:
convertToFloat in class DoubleValue

generalize

public DoubleValue generalize(DoubleValue other)
Description copied from class: DoubleValue
Returns the generalization of this DoubleValue and the given other DoubleValue.

Specified by:
generalize in class DoubleValue

add

public DoubleValue add(DoubleValue other)
Description copied from class: DoubleValue
Returns the sum of this DoubleValue and the given DoubleValue.

Specified by:
add in class DoubleValue

subtract

public DoubleValue subtract(DoubleValue other)
Description copied from class: DoubleValue
Returns the difference of this DoubleValue and the given DoubleValue.

Specified by:
subtract in class DoubleValue

subtractFrom

public DoubleValue subtractFrom(DoubleValue other)
Description copied from class: DoubleValue
Returns the difference of the given DoubleValue and this DoubleValue.

Specified by:
subtractFrom in class DoubleValue

multiply

public DoubleValue multiply(DoubleValue other)
Description copied from class: DoubleValue
Returns the product of this DoubleValue and the given DoubleValue.

Specified by:
multiply in class DoubleValue

divide

public DoubleValue divide(DoubleValue other)
Description copied from class: DoubleValue
Returns the quotient of this DoubleValue and the given DoubleValue.

Specified by:
divide in class DoubleValue

divideOf

public DoubleValue divideOf(DoubleValue other)
Description copied from class: DoubleValue
Returns the quotient of the given DoubleValue and this DoubleValue.

Specified by:
divideOf in class DoubleValue

remainder

public DoubleValue remainder(DoubleValue other)
Description copied from class: DoubleValue
Returns the remainder of this DoubleValue divided by the given DoubleValue.

Specified by:
remainder in class DoubleValue

remainderOf

public DoubleValue remainderOf(DoubleValue other)
Description copied from class: DoubleValue
Returns the remainder of the given DoubleValue divided by this DoubleValue.

Specified by:
remainderOf in class DoubleValue

compare

public IntegerValue compare(DoubleValue other)
Description copied from class: DoubleValue
Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given DoubleValue, respectively.

Specified by:
compare in class DoubleValue

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