Package proguard.evaluation.value

Class IntegerValue

java.lang.Object
proguard.evaluation.value.Value
proguard.evaluation.value.Category1Value
proguard.evaluation.value.IntegerValue
Direct Known Subclasses:
RangeIntegerValue, SpecificIntegerValue, UnknownIntegerValue
public abstract class IntegerValue extends Category1Value
Representation of a partially evaluated integer value.

  • Constructor Details

    • IntegerValue

      public IntegerValue()

  • Method Details

    • value

      public int value()
      Returns the specific integer value, if applicable.

    • negate

      public abstract IntegerValue negate()
      Returns the negated value of this IntegerValue.

    • convertToByte

      public abstract IntegerValue convertToByte()
      Converts this IntegerValue to a byte IntegerValue.

    • convertToCharacter

      public abstract IntegerValue convertToCharacter()
      Converts this IntegerValue to a character IntegerValue.

    • convertToShort

      public abstract IntegerValue convertToShort()
      Converts this IntegerValue to a short IntegerValue.

    • convertToLong

      public abstract LongValue convertToLong()
      Converts this IntegerValue to a LongValue.

    • convertToFloat

      public abstract FloatValue convertToFloat()
      Converts this IntegerValue to a FloatValue.

    • convertToDouble

      public abstract DoubleValue convertToDouble()
      Converts this IntegerValue to a DoubleValue.

    • generalize

      public abstract IntegerValue generalize(IntegerValue other)
      Returns the generalization of this IntegerValue and the given other IntegerValue.

    • add

      public abstract IntegerValue add(IntegerValue other)
      Returns the sum of this IntegerValue and the given IntegerValue.

    • subtract

      public abstract IntegerValue subtract(IntegerValue other)
      Returns the difference of this IntegerValue and the given IntegerValue.

    • subtractFrom

      public abstract IntegerValue subtractFrom(IntegerValue other)
      Returns the difference of the given IntegerValue and this IntegerValue.

    • multiply

      public abstract IntegerValue multiply(IntegerValue other) throws ArithmeticException
      Returns the product of this IntegerValue and the given IntegerValue.
      Throws:
      ArithmeticException

    • divide

      public abstract IntegerValue divide(IntegerValue other) throws ArithmeticException
      Returns the quotient of this IntegerValue and the given IntegerValue.
      Throws:
      ArithmeticException

    • divideOf

      public abstract IntegerValue divideOf(IntegerValue other) throws ArithmeticException
      Returns the quotient of the given IntegerValue and this IntegerValue.
      Throws:
      ArithmeticException

    • remainder

      public abstract IntegerValue remainder(IntegerValue other) throws ArithmeticException
      Returns the remainder of this IntegerValue divided by the given IntegerValue.
      Throws:
      ArithmeticException

    • remainderOf

      public abstract IntegerValue remainderOf(IntegerValue other) throws ArithmeticException
      Returns the remainder of the given IntegerValue divided by this IntegerValue.
      Throws:
      ArithmeticException

    • shiftLeft

      public abstract IntegerValue shiftLeft(IntegerValue other)
      Returns this IntegerValue, shifted left by the given IntegerValue.

    • shiftRight

      public abstract IntegerValue shiftRight(IntegerValue other)
      Returns this IntegerValue, shifted right by the given IntegerValue.

    • unsignedShiftRight

      public abstract IntegerValue unsignedShiftRight(IntegerValue other)
      Returns this unsigned IntegerValue, shifted left by the given IntegerValue.

    • shiftLeftOf

      public abstract IntegerValue shiftLeftOf(IntegerValue other)
      Returns the given IntegerValue, shifted left by this IntegerValue.

    • shiftRightOf

      public abstract IntegerValue shiftRightOf(IntegerValue other)
      Returns the given IntegerValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public abstract IntegerValue unsignedShiftRightOf(IntegerValue other)
      Returns the given unsigned IntegerValue, shifted left by this IntegerValue.

    • shiftLeftOf

      public abstract LongValue shiftLeftOf(LongValue other)
      Returns the given LongValue, shifted left by this IntegerValue.

    • shiftRightOf

      public abstract LongValue shiftRightOf(LongValue other)
      Returns the given LongValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public abstract LongValue unsignedShiftRightOf(LongValue other)
      Returns the given unsigned LongValue, shifted right by this IntegerValue.

    • and

      public abstract IntegerValue and(IntegerValue other)
      Returns the logical and of this IntegerValue and the given IntegerValue.

    • or

      public abstract IntegerValue or(IntegerValue other)
      Returns the logical or of this IntegerValue and the given IntegerValue.

    • xor

      public abstract IntegerValue xor(IntegerValue other)
      Returns the logical xor of this IntegerValue and the given IntegerValue.

    • equal

      public abstract int equal(IntegerValue other)
      Returns whether this IntegerValue and the given IntegerValue are equal: NEVER, MAYBE, or ALWAYS.

    • lessThan

      public abstract int lessThan(IntegerValue other)
      Returns whether this IntegerValue is less than the given IntegerValue: NEVER, MAYBE, or ALWAYS.

    • lessThanOrEqual

      public abstract int lessThanOrEqual(IntegerValue other)
      Returns whether this IntegerValue is less than or equal to the given IntegerValue: NEVER , MAYBE, or ALWAYS.

    • notEqual

      public final int notEqual(IntegerValue other)
      Returns whether this IntegerValue and the given IntegerValue are different: NEVER, MAYBE, or ALWAYS.

    • greaterThan

      public final int greaterThan(IntegerValue other)
      Returns whether this IntegerValue is greater than the given IntegerValue: NEVER, MAYBE, or ALWAYS.

    • greaterThanOrEqual

      public final int greaterThanOrEqual(IntegerValue other)
      Returns whether this IntegerValue is greater than or equal to the given IntegerValue: NEVER, MAYBE, or ALWAYS.

    • generalize

      public IntegerValue generalize(UnknownIntegerValue other)
      Returns the generalization of this IntegerValue and the given other UnknownIntegerValue.

    • add

      public IntegerValue add(UnknownIntegerValue other)
      Returns the sum of this IntegerValue and the given UnknownIntegerValue.

    • subtract

      public IntegerValue subtract(UnknownIntegerValue other)
      Returns the difference of this IntegerValue and the given UnknownIntegerValue.

    • subtractFrom

      public IntegerValue subtractFrom(UnknownIntegerValue other)
      Returns the difference of the given UnknownIntegerValue and this IntegerValue.

    • multiply

      public IntegerValue multiply(UnknownIntegerValue other)
      Returns the product of this IntegerValue and the given UnknownIntegerValue.

    • divide

      public IntegerValue divide(UnknownIntegerValue other)
      Returns the quotient of this IntegerValue and the given UnknownIntegerValue.

    • divideOf

      public IntegerValue divideOf(UnknownIntegerValue other)
      Returns the quotient of the given UnknownIntegerValue and this IntegerValue.

    • remainder

      public IntegerValue remainder(UnknownIntegerValue other)
      Returns the remainder of this IntegerValue divided by the given UnknownIntegerValue.

    • remainderOf

      public IntegerValue remainderOf(UnknownIntegerValue other)
      Returns the remainder of the given UnknownIntegerValue divided by this IntegerValue.

    • shiftLeft

      public IntegerValue shiftLeft(UnknownIntegerValue other)
      Returns this IntegerValue, shifted left by the given UnknownIntegerValue.

    • shiftRight

      public IntegerValue shiftRight(UnknownIntegerValue other)
      Returns this IntegerValue, shifted right by the given UnknownIntegerValue.

    • unsignedShiftRight

      public IntegerValue unsignedShiftRight(UnknownIntegerValue other)
      Returns this unsigned IntegerValue, shifted right by the given UnknownIntegerValue.

    • shiftLeftOf

      public IntegerValue shiftLeftOf(UnknownIntegerValue other)
      Returns the given UnknownIntegerValue, shifted left by this IntegerValue.

    • shiftRightOf

      public IntegerValue shiftRightOf(UnknownIntegerValue other)
      Returns the given UnknownIntegerValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public IntegerValue unsignedShiftRightOf(UnknownIntegerValue other)
      Returns the given unsigned UnknownIntegerValue, shifted right by this IntegerValue.

    • shiftLeftOf

      public LongValue shiftLeftOf(UnknownLongValue other)
      Returns the given UnknownLongValue, shifted left by this IntegerValue.

    • shiftRightOf

      public LongValue shiftRightOf(UnknownLongValue other)
      Returns the given UnknownLongValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public LongValue unsignedShiftRightOf(UnknownLongValue other)
      Returns the given unsigned UnknownLongValue, shifted right by this IntegerValue.

    • and

      public IntegerValue and(UnknownIntegerValue other)
      Returns the logical and of this IntegerValue and the given UnknownIntegerValue.

    • or

      public IntegerValue or(UnknownIntegerValue other)
      Returns the logical or of this IntegerValue and the given UnknownIntegerValue.

    • xor

      public IntegerValue xor(UnknownIntegerValue other)
      Returns the logical xor of this IntegerValue and the given UnknownIntegerValue.

    • equal

      public int equal(UnknownIntegerValue other)
      Returns whether this IntegerValue and the given UnknownIntegerValue are equal: NEVER , MAYBE, or ALWAYS.

    • lessThan

      public int lessThan(UnknownIntegerValue other)
      Returns whether this IntegerValue is less than the given UnknownIntegerValue: NEVER , MAYBE, or ALWAYS.

    • lessThanOrEqual

      public int lessThanOrEqual(UnknownIntegerValue other)
      Returns whether this IntegerValue is less than or equal to the given UnknownIntegerValue: NEVER, MAYBE, or ALWAYS.

    • notEqual

      public final int notEqual(UnknownIntegerValue other)
      Returns whether this IntegerValue and the given UnknownIntegerValue are different: NEVER , MAYBE, or ALWAYS.

    • greaterThan

      public final int greaterThan(UnknownIntegerValue other)
      Returns whether this IntegerValue is greater than the given UnknownIntegerValue: NEVER , MAYBE, or ALWAYS.

    • greaterThanOrEqual

      public final int greaterThanOrEqual(UnknownIntegerValue other)
      Returns whether this IntegerValue is greater than or equal to the given UnknownIntegerValue: NEVER, MAYBE, or ALWAYS.

    • generalize

      public IntegerValue generalize(SpecificIntegerValue other)
      Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.

    • add

      public IntegerValue add(SpecificIntegerValue other)
      Returns the sum of this IntegerValue and the given SpecificIntegerValue.

    • subtract

      public IntegerValue subtract(SpecificIntegerValue other)
      Returns the difference of this IntegerValue and the given SpecificIntegerValue.

    • subtractFrom

      public IntegerValue subtractFrom(SpecificIntegerValue other)
      Returns the difference of the given SpecificIntegerValue and this IntegerValue.

    • multiply

      public IntegerValue multiply(SpecificIntegerValue other)
      Returns the product of this IntegerValue and the given SpecificIntegerValue.

    • divide

      public IntegerValue divide(SpecificIntegerValue other)
      Returns the quotient of this IntegerValue and the given SpecificIntegerValue.

    • divideOf

      public IntegerValue divideOf(SpecificIntegerValue other)
      Returns the quotient of the given SpecificIntegerValue and this IntegerValue.

    • remainder

      public IntegerValue remainder(SpecificIntegerValue other)
      Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.

    • remainderOf

      public IntegerValue remainderOf(SpecificIntegerValue other)
      Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.

    • shiftLeft

      public IntegerValue shiftLeft(SpecificIntegerValue other)
      Returns this IntegerValue, shifted left by the given SpecificIntegerValue.

    • shiftRight

      public IntegerValue shiftRight(SpecificIntegerValue other)
      Returns this IntegerValue, shifted right by the given SpecificIntegerValue.

    • unsignedShiftRight

      public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
      Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.

    • shiftLeftOf

      public IntegerValue shiftLeftOf(SpecificIntegerValue other)
      Returns the given SpecificIntegerValue, shifted left by this IntegerValue.

    • shiftRightOf

      public IntegerValue shiftRightOf(SpecificIntegerValue other)
      Returns the given SpecificIntegerValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
      Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.

    • shiftLeftOf

      public LongValue shiftLeftOf(SpecificLongValue other)
      Returns the given SpecificLongValue, shifted left by this IntegerValue.

    • shiftRightOf

      public LongValue shiftRightOf(SpecificLongValue other)
      Returns the given SpecificLongValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public LongValue unsignedShiftRightOf(SpecificLongValue other)
      Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.

    • and

      public IntegerValue and(SpecificIntegerValue other)
      Returns the logical and of this IntegerValue and the given SpecificIntegerValue.

    • or

      public IntegerValue or(SpecificIntegerValue other)
      Returns the logical or of this IntegerValue and the given SpecificIntegerValue.

    • xor

      public IntegerValue xor(SpecificIntegerValue other)
      Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.

    • equal

      public int equal(SpecificIntegerValue other)
      Returns whether this IntegerValue and the given SpecificIntegerValue are equal: NEVER , MAYBE, or ALWAYS.

    • lessThan

      public int lessThan(SpecificIntegerValue other)
      Returns whether this IntegerValue is less than the given SpecificIntegerValue: NEVER , MAYBE, or ALWAYS.

    • lessThanOrEqual

      public int lessThanOrEqual(SpecificIntegerValue other)
      Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.

    • notEqual

      public final int notEqual(SpecificIntegerValue other)
      Returns whether this IntegerValue and the given SpecificIntegerValue are different: NEVER , MAYBE, or ALWAYS.

    • greaterThan

      public final int greaterThan(SpecificIntegerValue other)
      Returns whether this IntegerValue is greater than the given SpecificIntegerValue: NEVER , MAYBE, or ALWAYS.

    • greaterThanOrEqual

      public final int greaterThanOrEqual(SpecificIntegerValue other)
      Returns whether this IntegerValue is greater than or equal to the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.

    • generalize

      public IntegerValue generalize(ParticularIntegerValue other)
      Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.

    • add

      public IntegerValue add(ParticularIntegerValue other)
      Returns the sum of this IntegerValue and the given ParticularIntegerValue.

    • subtract

      public IntegerValue subtract(ParticularIntegerValue other)
      Returns the difference of this IntegerValue and the given ParticularIntegerValue.

    • subtractFrom

      public IntegerValue subtractFrom(ParticularIntegerValue other)
      Returns the difference of the given ParticularIntegerValue and this IntegerValue.

    • multiply

      public IntegerValue multiply(ParticularIntegerValue other)
      Returns the product of this IntegerValue and the given ParticularIntegerValue.

    • divide

      public IntegerValue divide(ParticularIntegerValue other)
      Returns the quotient of this IntegerValue and the given ParticularIntegerValue.

    • divideOf

      public IntegerValue divideOf(ParticularIntegerValue other)
      Returns the quotient of the given ParticularIntegerValue and this IntegerValue.

    • remainder

      public IntegerValue remainder(ParticularIntegerValue other)
      Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.

    • remainderOf

      public IntegerValue remainderOf(ParticularIntegerValue other)
      Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.

    • shiftLeft

      public IntegerValue shiftLeft(ParticularIntegerValue other)
      Returns this IntegerValue, shifted left by the given ParticularIntegerValue.

    • shiftRight

      public IntegerValue shiftRight(ParticularIntegerValue other)
      Returns this IntegerValue, shifted right by the given ParticularIntegerValue.

    • unsignedShiftRight

      public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
      Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.

    • shiftLeftOf

      public IntegerValue shiftLeftOf(ParticularIntegerValue other)
      Returns the given ParticularIntegerValue, shifted left by this IntegerValue.

    • shiftRightOf

      public IntegerValue shiftRightOf(ParticularIntegerValue other)
      Returns the given ParticularIntegerValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
      Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.

    • shiftLeftOf

      public LongValue shiftLeftOf(ParticularLongValue other)
      Returns the given ParticularLongValue, shifted left by this IntegerValue.

    • shiftRightOf

      public LongValue shiftRightOf(ParticularLongValue other)
      Returns the given ParticularLongValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public LongValue unsignedShiftRightOf(ParticularLongValue other)
      Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.

    • and

      public IntegerValue and(ParticularIntegerValue other)
      Returns the logical and of this IntegerValue and the given ParticularIntegerValue.

    • or

      public IntegerValue or(ParticularIntegerValue other)
      Returns the logical or of this IntegerValue and the given ParticularIntegerValue.

    • xor

      public IntegerValue xor(ParticularIntegerValue other)
      Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.

    • equal

      public int equal(ParticularIntegerValue other)
      Returns whether this IntegerValue and the given ParticularIntegerValue are equal: NEVER , MAYBE, or ALWAYS.

    • lessThan

      public int lessThan(ParticularIntegerValue other)
      Returns whether this IntegerValue is less than the given ParticularIntegerValue: NEVER , MAYBE, or ALWAYS.

    • lessThanOrEqual

      public int lessThanOrEqual(ParticularIntegerValue other)
      Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.

    • notEqual

      public final int notEqual(ParticularIntegerValue other)
      Returns whether this IntegerValue and the given ParticularIntegerValue are different: NEVER, MAYBE, or ALWAYS.

    • greaterThan

      public final int greaterThan(ParticularIntegerValue other)
      Returns whether this IntegerValue is greater than the given ParticularIntegerValue: NEVER , MAYBE, or ALWAYS.

    • greaterThanOrEqual

      public final int greaterThanOrEqual(ParticularIntegerValue other)
      Returns whether this IntegerValue is greater than or equal to the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.

    • generalize

      public IntegerValue generalize(RangeIntegerValue other)
      Returns the generalization of this IntegerValue and the given other RangeIntegerValue.

    • add

      public IntegerValue add(RangeIntegerValue other)
      Returns the sum of this IntegerValue and the given RangeIntegerValue.

    • subtract

      public IntegerValue subtract(RangeIntegerValue other)
      Returns the difference of this IntegerValue and the given RangeIntegerValue.

    • subtractFrom

      public IntegerValue subtractFrom(RangeIntegerValue other)
      Returns the difference of the given RangeIntegerValue and this IntegerValue.

    • multiply

      public IntegerValue multiply(RangeIntegerValue other)
      Returns the product of this IntegerValue and the given RangeIntegerValue.

    • divide

      public IntegerValue divide(RangeIntegerValue other)
      Returns the quotient of this IntegerValue and the given RangeIntegerValue.

    • divideOf

      public IntegerValue divideOf(RangeIntegerValue other)
      Returns the quotient of the given RangeIntegerValue and this IntegerValue.

    • remainder

      public IntegerValue remainder(RangeIntegerValue other)
      Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.

    • remainderOf

      public IntegerValue remainderOf(RangeIntegerValue other)
      Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.

    • shiftLeft

      public IntegerValue shiftLeft(RangeIntegerValue other)
      Returns this IntegerValue, shifted left by the given RangeIntegerValue.

    • shiftRight

      public IntegerValue shiftRight(RangeIntegerValue other)
      Returns this IntegerValue, shifted right by the given RangeIntegerValue.

    • unsignedShiftRight

      public IntegerValue unsignedShiftRight(RangeIntegerValue other)
      Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.

    • shiftLeftOf

      public IntegerValue shiftLeftOf(RangeIntegerValue other)
      Returns the given RangeIntegerValue, shifted left by this IntegerValue.

    • shiftRightOf

      public IntegerValue shiftRightOf(RangeIntegerValue other)
      Returns the given RangeIntegerValue, shifted right by this IntegerValue.

    • unsignedShiftRightOf

      public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
      Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.

    • and

      public IntegerValue and(RangeIntegerValue other)
      Returns the logical and of this IntegerValue and the given RangeIntegerValue.

    • or

      public IntegerValue or(RangeIntegerValue other)
      Returns the logical or of this IntegerValue and the given RangeIntegerValue.

    • xor

      public IntegerValue xor(RangeIntegerValue other)
      Returns the logical xor of this IntegerValue and the given RangeIntegerValue.

    • equal

      public int equal(RangeIntegerValue other)
      Returns whether this IntegerValue and the given RangeIntegerValue are equal: NEVER , MAYBE, or ALWAYS.

    • lessThan

      public int lessThan(RangeIntegerValue other)
      Returns whether this IntegerValue is less than the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.

    • lessThanOrEqual

      public int lessThanOrEqual(RangeIntegerValue other)
      Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.

    • notEqual

      public final int notEqual(RangeIntegerValue other)
      Returns whether this IntegerValue and the given RangeIntegerValue are different: NEVER , MAYBE, or ALWAYS.

    • greaterThan

      public final int greaterThan(RangeIntegerValue other)
      Returns whether this IntegerValue is greater than the given RangeIntegerValue: NEVER , MAYBE, or ALWAYS.

    • greaterThanOrEqual

      public final int greaterThanOrEqual(RangeIntegerValue other)
      Returns whether this IntegerValue is greater than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.

    • integerValue

      public final IntegerValue integerValue()
      Description copied from class: Value
      Returns this Value as an IntegerValue.
      Overrides:
      integerValue 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).