Package proguard.evaluation.value

Class DoubleValue

java.lang.Object
proguard.evaluation.value.Value
proguard.evaluation.value.Category2Value
proguard.evaluation.value.DoubleValue
Direct Known Subclasses:
SpecificDoubleValue, UnknownDoubleValue
public abstract class DoubleValue extends Category2Value
Representation of a partially evaluated double value.

  • Constructor Details

    • DoubleValue

      public DoubleValue()

  • Method Details

    • 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(SpecificDoubleValue other)
      Returns the generalization of this DoubleValue and the given other SpecificDoubleValue.

    • add

      public DoubleValue add(SpecificDoubleValue other)
      Returns the sum of this DoubleValue and the given SpecificDoubleValue.

    • subtract

      public DoubleValue subtract(SpecificDoubleValue other)
      Returns the difference of this DoubleValue and the given SpecificDoubleValue.

    • subtractFrom

      public DoubleValue subtractFrom(SpecificDoubleValue other)
      Returns the difference of the given SpecificDoubleValue and this DoubleValue.

    • multiply

      public DoubleValue multiply(SpecificDoubleValue other)
      Returns the product of this DoubleValue and the given SpecificDoubleValue.

    • divide

      public DoubleValue divide(SpecificDoubleValue other)
      Returns the quotient of this DoubleValue and the given SpecificDoubleValue.

    • divideOf

      public DoubleValue divideOf(SpecificDoubleValue other)
      Returns the quotient of the given SpecificDoubleValue and this DoubleValue.

    • remainder

      public DoubleValue remainder(SpecificDoubleValue other)
      Returns the remainder of this DoubleValue divided by the given SpecificDoubleValue.

    • remainderOf

      public DoubleValue remainderOf(SpecificDoubleValue other)
      Returns the remainder of the given SpecificDoubleValue and this DoubleValue.

    • compare

      public IntegerValue compare(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(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(ParticularDoubleValue other)
      Returns the generalization of this DoubleValue and the given other ParticularDoubleValue.

    • add

      public DoubleValue add(ParticularDoubleValue other)
      Returns the sum of this DoubleValue and the given ParticularDoubleValue.

    • subtract

      public DoubleValue subtract(ParticularDoubleValue other)
      Returns the difference of this DoubleValue and the given ParticularDoubleValue.

    • subtractFrom

      public DoubleValue subtractFrom(ParticularDoubleValue other)
      Returns the difference of the given ParticularDoubleValue and this DoubleValue.

    • multiply

      public DoubleValue multiply(ParticularDoubleValue other)
      Returns the product of this DoubleValue and the given ParticularDoubleValue.

    • divide

      public DoubleValue divide(ParticularDoubleValue other)
      Returns the quotient of this DoubleValue and the given ParticularDoubleValue.

    • divideOf

      public DoubleValue divideOf(ParticularDoubleValue other)
      Returns the quotient of the given ParticularDoubleValue and this DoubleValue.

    • remainder

      public DoubleValue remainder(ParticularDoubleValue other)
      Returns the remainder of this DoubleValue divided by the given ParticularDoubleValue.

    • remainderOf

      public DoubleValue remainderOf(ParticularDoubleValue other)
      Returns the remainder of the given ParticularDoubleValue and this DoubleValue.

    • compare

      public IntegerValue compare(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(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

    • 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 String internalType()
      Description copied from class: Value
      Returns the internal type of this Value.
      Specified by:
      internalType in class Value
      Returns:
      TypeConstants.BOOLEAN, TypeConstants.BYTE, TypeConstants.CHAR, TypeConstants.SHORT, TypeConstants.INT , TypeConstants.LONG, TypeConstants.FLOAT, TypeConstants.DOUBLE, TypeConstants.CLASS_START ... TypeConstants.CLASS_END , or an array type containing any of these types (always as String).