proguard.evaluation.value
Class DoubleValue

java.lang.Object
  proguard.evaluation.value.Value
      proguard.evaluation.value.Category2Value
          proguard.evaluation.value.DoubleValue

Direct Known Subclasses:

UnknownDoubleValue

public abstract class DoubleValue
extends Category2Value

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

DoubleValue()

Method Summary

abstract DoubleValue	add(DoubleValue other) Returns the sum of this DoubleValue and the given DoubleValue.
DoubleValue	add(proguard.evaluation.value.ParticularDoubleValue other) Returns the sum of this DoubleValue and the given ParticularDoubleValue.
DoubleValue	add(proguard.evaluation.value.SpecificDoubleValue other) Returns the sum of this DoubleValue and the given SpecificDoubleValue.
abstract 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.
IntegerValue	compare(proguard.evaluation.value.ParticularDoubleValue other) Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
IntegerValue	compare(proguard.evaluation.value.SpecificDoubleValue other) Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.
IntegerValue	compareReverse(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.
IntegerValue	compareReverse(proguard.evaluation.value.ParticularDoubleValue other) Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.
IntegerValue	compareReverse(proguard.evaluation.value.SpecificDoubleValue other) Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.
int	computationalType() Returns the computational type of this Value.
abstract FloatValue	convertToFloat() Converts this DoubleValue to a FloatValue.
abstract IntegerValue	convertToInteger() Converts this DoubleValue to an IntegerValue.
abstract LongValue	convertToLong() Converts this DoubleValue to a LongValue.
abstract DoubleValue	divide(DoubleValue other) Returns the quotient of this DoubleValue and the given DoubleValue.
DoubleValue	divide(proguard.evaluation.value.ParticularDoubleValue other) Returns the quotient of this DoubleValue and the given ParticularDoubleValue.
DoubleValue	divide(proguard.evaluation.value.SpecificDoubleValue other) Returns the quotient of this DoubleValue and the given SpecificDoubleValue.
abstract DoubleValue	divideOf(DoubleValue other) Returns the quotient of the given DoubleValue and this DoubleValue.
DoubleValue	divideOf(proguard.evaluation.value.ParticularDoubleValue other) Returns the quotient of the given ParticularDoubleValue and this DoubleValue.
DoubleValue	divideOf(proguard.evaluation.value.SpecificDoubleValue other) Returns the quotient of the given SpecificDoubleValue and this DoubleValue.
DoubleValue	doubleValue() Returns this Value as a DoubleValue.
abstract DoubleValue	generalize(DoubleValue other) Returns the generalization of this DoubleValue and the given other DoubleValue.
DoubleValue	generalize(proguard.evaluation.value.ParticularDoubleValue other) Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.
DoubleValue	generalize(proguard.evaluation.value.SpecificDoubleValue other) Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.
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 DoubleValue	multiply(DoubleValue other) Returns the product of this DoubleValue and the given DoubleValue.
DoubleValue	multiply(proguard.evaluation.value.ParticularDoubleValue other) Returns the product of this DoubleValue and the given ParticularDoubleValue.
DoubleValue	multiply(proguard.evaluation.value.SpecificDoubleValue other) Returns the product of this DoubleValue and the given SpecificDoubleValue.
abstract DoubleValue	negate() Returns the negated value of this DoubleValue.
Value	refresh()
abstract DoubleValue	remainder(DoubleValue other) Returns the remainder of this DoubleValue divided by the given DoubleValue.
DoubleValue	remainder(proguard.evaluation.value.ParticularDoubleValue other) Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.
DoubleValue	remainder(proguard.evaluation.value.SpecificDoubleValue other) Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.
abstract DoubleValue	remainderOf(DoubleValue other) Returns the remainder of the given DoubleValue divided by this DoubleValue.
DoubleValue	remainderOf(proguard.evaluation.value.ParticularDoubleValue other) Returns the remainder of the given ParticularDoubleValue and this DoubleValue.
DoubleValue	remainderOf(proguard.evaluation.value.SpecificDoubleValue other) Returns the remainder of the given SpecificDoubleValue and this DoubleValue.
abstract DoubleValue	subtract(DoubleValue other) Returns the difference of this DoubleValue and the given DoubleValue.
DoubleValue	subtract(proguard.evaluation.value.ParticularDoubleValue other) Returns the difference of this DoubleValue and the given ParticularDoubleValue.
DoubleValue	subtract(proguard.evaluation.value.SpecificDoubleValue other) Returns the difference of this DoubleValue and the given SpecificDoubleValue.
abstract DoubleValue	subtractFrom(DoubleValue other) Returns the difference of the given DoubleValue and this DoubleValue.
DoubleValue	subtractFrom(proguard.evaluation.value.ParticularDoubleValue other) Returns the difference of the given ParticularDoubleValue and this DoubleValue.
DoubleValue	subtractFrom(proguard.evaluation.value.SpecificDoubleValue other) Returns the difference of the given SpecificDoubleValue and this DoubleValue.
double	value() Returns the specific double value, if applicable.

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, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DoubleValue

public DoubleValue()

Method Detail

value

public double value()

Returns the specific double value, if applicable.

negate

public abstract DoubleValue negate()

Returns the negated value of this DoubleValue.

convertToInteger

public abstract IntegerValue convertToInteger()

Converts this DoubleValue to an IntegerValue.

convertToLong

public abstract LongValue convertToLong()

Converts this DoubleValue to a LongValue.

convertToFloat

public abstract FloatValue convertToFloat()

Converts this DoubleValue to a FloatValue.

generalize

public abstract DoubleValue generalize(DoubleValue other)

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

add

public abstract DoubleValue add(DoubleValue other)

Returns the sum of this DoubleValue and the given DoubleValue.

subtract

public abstract DoubleValue subtract(DoubleValue other)

Returns the difference of this DoubleValue and the given DoubleValue.

subtractFrom

public abstract DoubleValue subtractFrom(DoubleValue other)

Returns the difference of the given DoubleValue and this DoubleValue.

multiply

public abstract DoubleValue multiply(DoubleValue other)

Returns the product of this DoubleValue and the given DoubleValue.

divide

public abstract DoubleValue divide(DoubleValue other)

Returns the quotient of this DoubleValue and the given DoubleValue.

divideOf

public abstract DoubleValue divideOf(DoubleValue other)

Returns the quotient of the given DoubleValue and this DoubleValue.

remainder

public abstract DoubleValue remainder(DoubleValue other)

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

remainderOf

public abstract DoubleValue remainderOf(DoubleValue other)

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

compare

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

compareReverse

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

generalize

public DoubleValue generalize(proguard.evaluation.value.SpecificDoubleValue other)

Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.

add

public DoubleValue add(proguard.evaluation.value.SpecificDoubleValue other)

Returns the sum of this DoubleValue and the given SpecificDoubleValue.

subtract

public DoubleValue subtract(proguard.evaluation.value.SpecificDoubleValue other)

Returns the difference of this DoubleValue and the given SpecificDoubleValue.

subtractFrom

public DoubleValue subtractFrom(proguard.evaluation.value.SpecificDoubleValue other)

Returns the difference of the given SpecificDoubleValue and this DoubleValue.

multiply

public DoubleValue multiply(proguard.evaluation.value.SpecificDoubleValue other)

Returns the product of this DoubleValue and the given SpecificDoubleValue.

divide

public DoubleValue divide(proguard.evaluation.value.SpecificDoubleValue other)

Returns the quotient of this DoubleValue and the given SpecificDoubleValue.

divideOf

public DoubleValue divideOf(proguard.evaluation.value.SpecificDoubleValue other)

Returns the quotient of the given SpecificDoubleValue and this DoubleValue.

remainder

public DoubleValue remainder(proguard.evaluation.value.SpecificDoubleValue other)

Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.

remainderOf

public DoubleValue remainderOf(proguard.evaluation.value.SpecificDoubleValue other)

Returns the remainder of the given SpecificDoubleValue and this DoubleValue.

compare

public IntegerValue compare(proguard.evaluation.value.SpecificDoubleValue other)

Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.

compareReverse

public final IntegerValue compareReverse(proguard.evaluation.value.SpecificDoubleValue other)

Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given SpecificDoubleValue, respectively.

generalize

public DoubleValue generalize(proguard.evaluation.value.ParticularDoubleValue other)

Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.

add

public DoubleValue add(proguard.evaluation.value.ParticularDoubleValue other)

Returns the sum of this DoubleValue and the given ParticularDoubleValue.

subtract

public DoubleValue subtract(proguard.evaluation.value.ParticularDoubleValue other)

Returns the difference of this DoubleValue and the given ParticularDoubleValue.

subtractFrom

public DoubleValue subtractFrom(proguard.evaluation.value.ParticularDoubleValue other)

Returns the difference of the given ParticularDoubleValue and this DoubleValue.

multiply

public DoubleValue multiply(proguard.evaluation.value.ParticularDoubleValue other)

Returns the product of this DoubleValue and the given ParticularDoubleValue.

divide

public DoubleValue divide(proguard.evaluation.value.ParticularDoubleValue other)

Returns the quotient of this DoubleValue and the given ParticularDoubleValue.

divideOf

public DoubleValue divideOf(proguard.evaluation.value.ParticularDoubleValue other)

Returns the quotient of the given ParticularDoubleValue and this DoubleValue.

remainder

public DoubleValue remainder(proguard.evaluation.value.ParticularDoubleValue other)

Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.

remainderOf

public DoubleValue remainderOf(proguard.evaluation.value.ParticularDoubleValue other)

Returns the remainder of the given ParticularDoubleValue and this DoubleValue.

compare

public IntegerValue compare(proguard.evaluation.value.ParticularDoubleValue other)

Returns an IntegerValue with value -1, 0, or 1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.

compareReverse

public final IntegerValue compareReverse(proguard.evaluation.value.ParticularDoubleValue other)

Returns an IntegerValue with value 1, 0, or -1, if this DoubleValue is less than, equal to, or greater than the given ParticularDoubleValue, respectively.

doubleValue

public final DoubleValue doubleValue()

Description copied from class: Value

Returns this Value as a DoubleValue.

Overrides:

doubleValue in class Value

refresh

public Value refresh()

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).