SpecificIntegerValue (ProGuardCORE)

java.lang.Object
- proguard.evaluation.value.Value
- - proguard.evaluation.value.Category1Value
  - - proguard.evaluation.value.IntegerValue
    - - proguard.evaluation.value.SpecificIntegerValue

Direct Known Subclasses:

ComparisonValue, CompositeIntegerValue, ConvertedByteValue, ConvertedCharacterValue, ConvertedIntegerValue, ConvertedShortValue, IdentifiedIntegerValue, NegatedIntegerValue, ParticularIntegerValue
```
public abstract class SpecificIntegerValue
extends IntegerValue
```
This IntegerValue represents a specific integer value.
This class handles interactions with: - RangeIntegerValue - SpecificInteger (in general)
It reverses and delegates interactions with: - IntegerValue (in general)
It notably doesn't handle interactions with: - UnknownInteger

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, TYPE_UNKNOWN

Constructor Summary

Constructors
Constructor and Description

SpecificIntegerValue()

Constructors
Constructor and Description
`SpecificIntegerValue()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`IntegerValue`	`add(IntegerValue other)` Returns the sum of this IntegerValue and the given IntegerValue.
`IntegerValue`	`add(RangeIntegerValue other)` Returns the sum of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`add(SpecificIntegerValue other)` Returns the sum of this IntegerValue and the given SpecificIntegerValue.
`IntegerValue`	`and(IntegerValue other)` Returns the logical and of this IntegerValue and the given IntegerValue.
`IntegerValue`	`and(RangeIntegerValue other)` Returns the logical and of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`and(SpecificIntegerValue other)` Returns the logical and of this IntegerValue and the given SpecificIntegerValue.
`IntegerValue`	`convertToByte()` Converts this IntegerValue to a byte IntegerValue.
`IntegerValue`	`convertToCharacter()` Converts this IntegerValue to a character IntegerValue.
`DoubleValue`	`convertToDouble()` Converts this IntegerValue to a DoubleValue.
`FloatValue`	`convertToFloat()` Converts this IntegerValue to a FloatValue.
`LongValue`	`convertToLong()` Converts this IntegerValue to a LongValue.
`IntegerValue`	`convertToShort()` Converts this IntegerValue to a short IntegerValue.
`IntegerValue`	`divide(IntegerValue other)` Returns the quotient of this IntegerValue and the given IntegerValue.
`IntegerValue`	`divide(RangeIntegerValue other)` Returns the quotient of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`divide(SpecificIntegerValue other)` Returns the quotient of this IntegerValue and the given SpecificIntegerValue.
`IntegerValue`	`divideOf(IntegerValue other)` Returns the quotient of the given IntegerValue and this IntegerValue.
`IntegerValue`	`divideOf(RangeIntegerValue other)` Returns the quotient of the given RangeIntegerValue and this IntegerValue.
`IntegerValue`	`divideOf(SpecificIntegerValue other)` Returns the quotient of the given SpecificIntegerValue and this IntegerValue.
`int`	`equal(IntegerValue other)` Returns whether this IntegerValue and the given IntegerValue are equal: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`equal(RangeIntegerValue other)` Returns whether this IntegerValue and the given RangeIntegerValue are equal: `NEVER` , `MAYBE`, or `ALWAYS`.
`int`	`equal(SpecificIntegerValue other)` Returns whether this IntegerValue and the given SpecificIntegerValue are equal: `NEVER`, `MAYBE`, or `ALWAYS`.
`boolean`	`equals(java.lang.Object object)`
`IntegerValue`	`generalize(IntegerValue other)` Returns the generalization of this IntegerValue and the given other IntegerValue.
`IntegerValue`	`generalize(RangeIntegerValue other)` Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
`IntegerValue`	`generalize(SpecificIntegerValue other)` Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.
`int`	`hashCode()`
`boolean`	`isSpecific()` Returns whether this Value represents a single specific (but possibly unknown) value.
`int`	`lessThan(IntegerValue other)` Returns whether this IntegerValue is less than the given IntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThan(RangeIntegerValue other)` Returns whether this IntegerValue is less than the given RangeIntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThan(SpecificIntegerValue other)` Returns whether this IntegerValue is less than the given SpecificIntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThanOrEqual(IntegerValue other)` Returns whether this IntegerValue is less than or equal to the given IntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThanOrEqual(RangeIntegerValue other)` Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThanOrEqual(SpecificIntegerValue other)` Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`IntegerValue`	`multiply(IntegerValue other)` Returns the product of this IntegerValue and the given IntegerValue.
`IntegerValue`	`multiply(RangeIntegerValue other)` Returns the product of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`multiply(SpecificIntegerValue other)` Returns the product of this IntegerValue and the given SpecificIntegerValue.
`IntegerValue`	`negate()` Returns the negated value of this IntegerValue.
`IntegerValue`	`or(IntegerValue other)` Returns the logical or of this IntegerValue and the given IntegerValue.
`IntegerValue`	`or(RangeIntegerValue other)` Returns the logical or of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`or(SpecificIntegerValue other)` Returns the logical or of this IntegerValue and the given SpecificIntegerValue.
`IntegerValue`	`remainder(IntegerValue other)` Returns the remainder of this IntegerValue divided by the given IntegerValue.
`IntegerValue`	`remainder(RangeIntegerValue other)` Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
`IntegerValue`	`remainder(SpecificIntegerValue other)` Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.
`IntegerValue`	`remainderOf(IntegerValue other)` Returns the remainder of the given IntegerValue divided by this IntegerValue.
`IntegerValue`	`remainderOf(RangeIntegerValue other)` Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
`IntegerValue`	`remainderOf(SpecificIntegerValue other)` Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.
`IntegerValue`	`shiftLeft(IntegerValue other)` Returns this IntegerValue, shifted left by the given IntegerValue.
`IntegerValue`	`shiftLeft(RangeIntegerValue other)` Returns this IntegerValue, shifted left by the given RangeIntegerValue.
`IntegerValue`	`shiftLeft(SpecificIntegerValue other)` Returns this IntegerValue, shifted left by the given SpecificIntegerValue.
`IntegerValue`	`shiftLeftOf(IntegerValue other)` Returns the given IntegerValue, shifted left by this IntegerValue.
`LongValue`	`shiftLeftOf(LongValue other)` Returns the given LongValue, shifted left by this IntegerValue.
`IntegerValue`	`shiftLeftOf(RangeIntegerValue other)` Returns the given RangeIntegerValue, shifted left by this IntegerValue.
`IntegerValue`	`shiftLeftOf(SpecificIntegerValue other)` Returns the given SpecificIntegerValue, shifted left by this IntegerValue.
`LongValue`	`shiftLeftOf(SpecificLongValue other)` Returns the given SpecificLongValue, shifted left by this IntegerValue.
`IntegerValue`	`shiftRight(IntegerValue other)` Returns this IntegerValue, shifted right by the given IntegerValue.
`IntegerValue`	`shiftRight(RangeIntegerValue other)` Returns this IntegerValue, shifted right by the given RangeIntegerValue.
`IntegerValue`	`shiftRight(SpecificIntegerValue other)` Returns this IntegerValue, shifted right by the given SpecificIntegerValue.
`IntegerValue`	`shiftRightOf(IntegerValue other)` Returns the given IntegerValue, shifted right by this IntegerValue.
`LongValue`	`shiftRightOf(LongValue other)` Returns the given LongValue, shifted right by this IntegerValue.
`IntegerValue`	`shiftRightOf(RangeIntegerValue other)` Returns the given RangeIntegerValue, shifted right by this IntegerValue.
`IntegerValue`	`shiftRightOf(SpecificIntegerValue other)` Returns the given SpecificIntegerValue, shifted right by this IntegerValue.
`LongValue`	`shiftRightOf(SpecificLongValue other)` Returns the given SpecificLongValue, shifted right by this IntegerValue.
`IntegerValue`	`subtract(IntegerValue other)` Returns the difference of this IntegerValue and the given IntegerValue.
`IntegerValue`	`subtract(RangeIntegerValue other)` Returns the difference of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`subtract(SpecificIntegerValue other)` Returns the difference of this IntegerValue and the given SpecificIntegerValue.
`IntegerValue`	`subtractFrom(IntegerValue other)` Returns the difference of the given IntegerValue and this IntegerValue.
`IntegerValue`	`subtractFrom(RangeIntegerValue other)` Returns the difference of the given RangeIntegerValue and this IntegerValue.
`IntegerValue`	`subtractFrom(SpecificIntegerValue other)` Returns the difference of the given SpecificIntegerValue and this IntegerValue.
`IntegerValue`	`unsignedShiftRight(IntegerValue other)` Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
`IntegerValue`	`unsignedShiftRight(RangeIntegerValue other)` Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
`IntegerValue`	`unsignedShiftRight(SpecificIntegerValue other)` Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.
`IntegerValue`	`unsignedShiftRightOf(IntegerValue other)` Returns the given unsigned IntegerValue, shifted left by this IntegerValue.
`LongValue`	`unsignedShiftRightOf(LongValue other)` Returns the given unsigned LongValue, shifted right by this IntegerValue.
`IntegerValue`	`unsignedShiftRightOf(RangeIntegerValue other)` Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
`IntegerValue`	`unsignedShiftRightOf(SpecificIntegerValue other)` Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.
`LongValue`	`unsignedShiftRightOf(SpecificLongValue other)` Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.
`IntegerValue`	`xor(IntegerValue other)` Returns the logical xor of this IntegerValue and the given IntegerValue.
`IntegerValue`	`xor(RangeIntegerValue other)` Returns the logical xor of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`xor(SpecificIntegerValue other)` Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.

Methods inherited from class proguard.evaluation.value.IntegerValue
add, add, and, and, computationalType, divide, divide, divideOf, divideOf, equal, equal, generalize, generalize, generalize, greaterThan, greaterThan, greaterThan, greaterThan, greaterThan, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, integerValue, internalType, lessThan, lessThan, lessThanOrEqual, lessThanOrEqual, multiply, multiply, notEqual, notEqual, notEqual, notEqual, notEqual, or, or, remainder, remainder, remainderOf, remainderOf, shiftLeft, shiftLeft, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftRight, shiftRight, shiftRightOf, shiftRightOf, shiftRightOf, shiftRightOf, subtract, subtract, subtractFrom, subtractFrom, unsignedShiftRight, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, value, xor, xor

Methods inherited from class proguard.evaluation.value.Category1Value
category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value
category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, isParticular, longValue, referenceValue

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SpecificIntegerValue
```
public SpecificIntegerValue()
```
- Method Detail
  - negate
```
public IntegerValue negate()
```
    Description copied from class: IntegerValue
    
    Returns the negated value of this IntegerValue.
    
    Specified by:
    
    negate in class IntegerValue
  - convertToByte
```
public IntegerValue convertToByte()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a byte IntegerValue.
    
    Specified by:
    
    convertToByte in class IntegerValue
  - convertToCharacter
```
public IntegerValue convertToCharacter()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a character IntegerValue.
    
    Specified by:
    
    convertToCharacter in class IntegerValue
  - convertToShort
```
public IntegerValue convertToShort()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a short IntegerValue.
    
    Specified by:
    
    convertToShort in class IntegerValue
  - convertToLong
```
public LongValue convertToLong()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a LongValue.
    
    Specified by:
    
    convertToLong in class IntegerValue
  - convertToFloat
```
public FloatValue convertToFloat()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a FloatValue.
    
    Specified by:
    
    convertToFloat in class IntegerValue
  - convertToDouble
```
public DoubleValue convertToDouble()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a DoubleValue.
    
    Specified by:
    
    convertToDouble in class IntegerValue
  - generalize
```
public IntegerValue generalize(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the generalization of this IntegerValue and the given other IntegerValue.
    
    Specified by:
    
    generalize in class IntegerValue
  - add
```
public IntegerValue add(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the sum of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    add in class IntegerValue
  - subtract
```
public IntegerValue subtract(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    subtract in class IntegerValue
  - subtractFrom
```
public IntegerValue subtractFrom(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of the given IntegerValue and this IntegerValue.
    
    Specified by:
    
    subtractFrom in class IntegerValue
  - multiply
```
public IntegerValue multiply(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the product of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    multiply in class IntegerValue
  - divide
```
public IntegerValue divide(IntegerValue other)
                    throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    divide in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - divideOf
```
public IntegerValue divideOf(IntegerValue other)
                      throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of the given IntegerValue and this IntegerValue.
    
    Specified by:
    
    divideOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainder
```
public IntegerValue remainder(IntegerValue other)
                       throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of this IntegerValue divided by the given IntegerValue.
    
    Specified by:
    
    remainder in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainderOf
```
public IntegerValue remainderOf(IntegerValue other)
                         throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of the given IntegerValue divided by this IntegerValue.
    
    Specified by:
    
    remainderOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - shiftLeft
```
public IntegerValue shiftLeft(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted left by the given IntegerValue.
    
    Specified by:
    
    shiftLeft in class IntegerValue
  - shiftLeftOf
```
public IntegerValue shiftLeftOf(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given IntegerValue, shifted left by this IntegerValue.
    
    Specified by:
    
    shiftLeftOf in class IntegerValue
  - shiftRight
```
public IntegerValue shiftRight(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted right by the given IntegerValue.
    
    Specified by:
    
    shiftRight in class IntegerValue
  - shiftRightOf
```
public IntegerValue shiftRightOf(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given IntegerValue, shifted right by this IntegerValue.
    
    Specified by:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRight
```
public IntegerValue unsignedShiftRight(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
    
    Specified by:
    
    unsignedShiftRight in class IntegerValue
  - unsignedShiftRightOf
```
public IntegerValue unsignedShiftRightOf(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned IntegerValue, shifted left by this IntegerValue.
    
    Specified by:
    
    unsignedShiftRightOf in class IntegerValue
  - shiftLeftOf
```
public LongValue shiftLeftOf(LongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given LongValue, shifted left by this IntegerValue.
    
    Specified by:
    
    shiftLeftOf in class IntegerValue
  - shiftRightOf
```
public LongValue shiftRightOf(LongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given LongValue, shifted right by this IntegerValue.
    
    Specified by:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRightOf
```
public LongValue unsignedShiftRightOf(LongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned LongValue, shifted right by this IntegerValue.
    
    Specified by:
    
    unsignedShiftRightOf in class IntegerValue
  - and
```
public IntegerValue and(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical and of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    and in class IntegerValue
  - or
```
public IntegerValue or(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical or of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    or in class IntegerValue
  - xor
```
public IntegerValue xor(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical xor of this IntegerValue and the given IntegerValue.
    
    Specified by:
    
    xor in class IntegerValue
  - equal
```
public int equal(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue and the given IntegerValue are equal: NEVER, MAYBE, or ALWAYS.
    
    Specified by:
    
    equal in class IntegerValue
  - lessThan
```
public int lessThan(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than the given IntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Specified by:
    
    lessThan in class IntegerValue
  - lessThanOrEqual
```
public int lessThanOrEqual(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than or equal to the given IntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Specified by:
    
    lessThanOrEqual in class IntegerValue
  - generalize
```
public IntegerValue generalize(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.
    
    Overrides:
    
    generalize in class IntegerValue
  - add
```
public IntegerValue add(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the sum of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    add in class IntegerValue
  - subtract
```
public IntegerValue subtract(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    subtract in class IntegerValue
  - subtractFrom
```
public IntegerValue subtractFrom(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of the given SpecificIntegerValue and this IntegerValue.
    
    Overrides:
    
    subtractFrom in class IntegerValue
  - multiply
```
public IntegerValue multiply(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the product of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    multiply in class IntegerValue
  - divide
```
public IntegerValue divide(SpecificIntegerValue other)
                    throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    divide in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - divideOf
```
public IntegerValue divideOf(SpecificIntegerValue other)
                      throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of the given SpecificIntegerValue and this IntegerValue.
    
    Overrides:
    
    divideOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainder
```
public IntegerValue remainder(SpecificIntegerValue other)
                       throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.
    
    Overrides:
    
    remainder in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainderOf
```
public IntegerValue remainderOf(SpecificIntegerValue other)
                         throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.
    
    Overrides:
    
    remainderOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - shiftLeft
```
public IntegerValue shiftLeft(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted left by the given SpecificIntegerValue.
    
    Overrides:
    
    shiftLeft in class IntegerValue
  - shiftRight
```
public IntegerValue shiftRight(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted right by the given SpecificIntegerValue.
    
    Overrides:
    
    shiftRight in class IntegerValue
  - unsignedShiftRight
```
public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.
    
    Overrides:
    
    unsignedShiftRight in class IntegerValue
  - shiftLeftOf
```
public IntegerValue shiftLeftOf(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given SpecificIntegerValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class IntegerValue
  - shiftRightOf
```
public IntegerValue shiftRightOf(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given SpecificIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRightOf
```
public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class IntegerValue
  - shiftLeftOf
```
public LongValue shiftLeftOf(SpecificLongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given SpecificLongValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class IntegerValue
  - shiftRightOf
```
public LongValue shiftRightOf(SpecificLongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given SpecificLongValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRightOf
```
public LongValue unsignedShiftRightOf(SpecificLongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class IntegerValue
  - and
```
public IntegerValue and(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical and of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    and in class IntegerValue
  - or
```
public IntegerValue or(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical or of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    or in class IntegerValue
  - xor
```
public IntegerValue xor(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.
    
    Overrides:
    
    xor in class IntegerValue
  - equal
```
public int equal(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue and the given SpecificIntegerValue are equal: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    equal in class IntegerValue
  - lessThan
```
public int lessThan(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    lessThan in class IntegerValue
  - lessThanOrEqual
```
public int lessThanOrEqual(SpecificIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    lessThanOrEqual in class IntegerValue
  - generalize
```
public IntegerValue generalize(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
    
    Overrides:
    
    generalize in class IntegerValue
  - add
```
public IntegerValue add(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the sum of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    add in class IntegerValue
  - subtract
```
public IntegerValue subtract(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    subtract in class IntegerValue
  - subtractFrom
```
public IntegerValue subtractFrom(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of the given RangeIntegerValue and this IntegerValue.
    
    Overrides:
    
    subtractFrom in class IntegerValue
  - multiply
```
public IntegerValue multiply(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the product of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    multiply in class IntegerValue
  - divide
```
public IntegerValue divide(RangeIntegerValue other)
                    throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    divide in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - divideOf
```
public IntegerValue divideOf(RangeIntegerValue other)
                      throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of the given RangeIntegerValue and this IntegerValue.
    
    Overrides:
    
    divideOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainder
```
public IntegerValue remainder(RangeIntegerValue other)
                       throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
    
    Overrides:
    
    remainder in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainderOf
```
public IntegerValue remainderOf(RangeIntegerValue other)
                         throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
    
    Overrides:
    
    remainderOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - shiftLeft
```
public IntegerValue shiftLeft(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted left by the given RangeIntegerValue.
    
    Overrides:
    
    shiftLeft in class IntegerValue
  - shiftRight
```
public IntegerValue shiftRight(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted right by the given RangeIntegerValue.
    
    Overrides:
    
    shiftRight in class IntegerValue
  - unsignedShiftRight
```
public IntegerValue unsignedShiftRight(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
    
    Overrides:
    
    unsignedShiftRight in class IntegerValue
  - shiftLeftOf
```
public IntegerValue shiftLeftOf(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given RangeIntegerValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class IntegerValue
  - shiftRightOf
```
public IntegerValue shiftRightOf(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given RangeIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRightOf
```
public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class IntegerValue
  - and
```
public IntegerValue and(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical and of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    and in class IntegerValue
  - or
```
public IntegerValue or(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical or of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    or in class IntegerValue
  - xor
```
public IntegerValue xor(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical xor of this IntegerValue and the given RangeIntegerValue.
    
    Overrides:
    
    xor in class IntegerValue
  - equal
```
public int equal(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue and the given RangeIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
    
    Overrides:
    
    equal in class IntegerValue
  - lessThan
```
public int lessThan(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    lessThan in class IntegerValue
  - lessThanOrEqual
```
public int lessThanOrEqual(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    lessThanOrEqual in class IntegerValue
  - isSpecific
```
public boolean isSpecific()
```
    Description copied from class: Value
    
    Returns whether this Value represents a single specific (but possibly unknown) value.
    
    Overrides:
    
    isSpecific in class Value
  - 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

Class SpecificIntegerValue

Field Summary

Fields inherited from class proguard.evaluation.value.Value

Constructor Summary

Method Summary

Methods inherited from class proguard.evaluation.value.IntegerValue

Methods inherited from class proguard.evaluation.value.Category1Value

Methods inherited from class proguard.evaluation.value.Value

Methods inherited from class java.lang.Object

Constructor Detail

SpecificIntegerValue

Method Detail

negate

convertToByte

convertToCharacter

convertToShort

convertToLong

convertToFloat

convertToDouble

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

shiftLeft

shiftLeftOf

shiftRight

shiftRightOf

unsignedShiftRight

unsignedShiftRightOf

shiftLeftOf

shiftRightOf

unsignedShiftRightOf

and

or

xor

equal

lessThan

lessThanOrEqual

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

shiftLeft

shiftRight

unsignedShiftRight

shiftLeftOf

shiftRightOf

unsignedShiftRightOf

shiftLeftOf

shiftRightOf

unsignedShiftRightOf

and

or

xor

equal

lessThan

lessThanOrEqual

generalize

add

subtract

subtractFrom

multiply

divide

divideOf

remainder

remainderOf

shiftLeft

shiftRight

unsignedShiftRight

shiftLeftOf