RangeIntegerValue (ProGuardCORE)

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

```
public final class RangeIntegerValue
extends IntegerValue
```
This IntegerValue represents a known range of integer values. It currently is not a SpecificIntegerValue, so it doesn't have a particular value nor an identifier.
This class handles interactions with: - ParticularIntegerValue - RangeIntegerValue
It reverses and delegates interactions with: - IntegerValue (in general)
It notably doesn't handle interactions with: - UnknownInteger - SpecificInteger (in general)

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

RangeIntegerValue(int min, int max)
Creates a new range of integer values.

Constructors
Constructor and Description
`RangeIntegerValue(int min, int max)` Creates a new range of integer values.

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(ParticularIntegerValue other)` Returns the sum of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`add(RangeIntegerValue other)` Returns the sum of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`and(IntegerValue other)` Returns the logical and of this IntegerValue and the given IntegerValue.
`IntegerValue`	`and(ParticularIntegerValue other)` Returns the logical and of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`and(RangeIntegerValue other)` Returns the logical and of this IntegerValue and the given RangeIntegerValue.
`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(ParticularIntegerValue other)` Returns the quotient of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`divide(RangeIntegerValue other)` Returns the quotient of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`divideOf(IntegerValue other)` Returns the quotient of the given IntegerValue and this IntegerValue.
`IntegerValue`	`divideOf(ParticularIntegerValue other)` Returns the quotient of the given ParticularIntegerValue and this IntegerValue.
`IntegerValue`	`divideOf(RangeIntegerValue other)` Returns the quotient of the given RangeIntegerValue and this IntegerValue.
`int`	`equal(IntegerValue other)` Returns whether this IntegerValue and the given IntegerValue are equal: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`equal(ParticularIntegerValue other)` Returns whether this IntegerValue and the given ParticularIntegerValue are equal: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`equal(RangeIntegerValue other)` Returns whether this IntegerValue and the given RangeIntegerValue 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(ParticularIntegerValue other)` Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.
`IntegerValue`	`generalize(RangeIntegerValue other)` Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
`int`	`hashCode()`
`boolean`	`isParticular()` Returns whether this Value represents a single particular (known) value.
`int`	`lessThan(IntegerValue other)` Returns whether this IntegerValue is less than the given IntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThan(ParticularIntegerValue other)` Returns whether this IntegerValue is less than the given ParticularIntegerValue: `NEVER`, `MAYBE`, or `ALWAYS`.
`int`	`lessThan(RangeIntegerValue other)` Returns whether this IntegerValue is less than the given RangeIntegerValue: `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(ParticularIntegerValue other)` Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue: `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`.
`IntegerValue`	`multiply(IntegerValue other)` Returns the product of this IntegerValue and the given IntegerValue.
`IntegerValue`	`multiply(ParticularIntegerValue other)` Returns the product of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`multiply(RangeIntegerValue other)` Returns the product of this IntegerValue and the given RangeIntegerValue.
`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(ParticularIntegerValue other)` Returns the logical or of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`or(RangeIntegerValue other)` Returns the logical or of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`remainder(IntegerValue other)` Returns the remainder of this IntegerValue divided by the given IntegerValue.
`IntegerValue`	`remainder(ParticularIntegerValue other)` Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.
`IntegerValue`	`remainder(RangeIntegerValue other)` Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
`IntegerValue`	`remainderOf(IntegerValue other)` Returns the remainder of the given IntegerValue divided by this IntegerValue.
`IntegerValue`	`remainderOf(ParticularIntegerValue other)` Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.
`IntegerValue`	`remainderOf(RangeIntegerValue other)` Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
`IntegerValue`	`shiftLeft(IntegerValue other)` Returns this IntegerValue, shifted left by the given IntegerValue.
`IntegerValue`	`shiftLeft(ParticularIntegerValue other)` Returns this IntegerValue, shifted left by the given ParticularIntegerValue.
`IntegerValue`	`shiftLeft(RangeIntegerValue other)` Returns this IntegerValue, shifted left by the given RangeIntegerValue.
`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(ParticularIntegerValue other)` Returns the given ParticularIntegerValue, shifted left by this IntegerValue.
`LongValue`	`shiftLeftOf(ParticularLongValue other)` Returns the given ParticularLongValue, shifted left by this IntegerValue.
`IntegerValue`	`shiftLeftOf(RangeIntegerValue other)` Returns the given RangeIntegerValue, shifted left by this IntegerValue.
`IntegerValue`	`shiftRight(IntegerValue other)` Returns this IntegerValue, shifted right by the given IntegerValue.
`IntegerValue`	`shiftRight(ParticularIntegerValue other)` Returns this IntegerValue, shifted right by the given ParticularIntegerValue.
`IntegerValue`	`shiftRight(RangeIntegerValue other)` Returns this IntegerValue, shifted right by the given RangeIntegerValue.
`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(ParticularIntegerValue other)` Returns the given ParticularIntegerValue, shifted right by this IntegerValue.
`LongValue`	`shiftRightOf(ParticularLongValue other)` Returns the given ParticularLongValue, shifted right by this IntegerValue.
`IntegerValue`	`shiftRightOf(RangeIntegerValue other)` Returns the given RangeIntegerValue, shifted right by this IntegerValue.
`IntegerValue`	`subtract(IntegerValue other)` Returns the difference of this IntegerValue and the given IntegerValue.
`IntegerValue`	`subtract(ParticularIntegerValue other)` Returns the difference of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`subtract(RangeIntegerValue other)` Returns the difference of this IntegerValue and the given RangeIntegerValue.
`IntegerValue`	`subtractFrom(IntegerValue other)` Returns the difference of the given IntegerValue and this IntegerValue.
`IntegerValue`	`subtractFrom(ParticularIntegerValue other)` Returns the difference of the given ParticularIntegerValue and this IntegerValue.
`IntegerValue`	`subtractFrom(RangeIntegerValue other)` Returns the difference of the given RangeIntegerValue and this IntegerValue.
`java.lang.String`	`toString()`
`IntegerValue`	`unsignedShiftRight(IntegerValue other)` Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
`IntegerValue`	`unsignedShiftRight(ParticularIntegerValue other)` Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.
`IntegerValue`	`unsignedShiftRight(RangeIntegerValue other)` Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
`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(ParticularIntegerValue other)` Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.
`LongValue`	`unsignedShiftRightOf(ParticularLongValue other)` Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.
`IntegerValue`	`unsignedShiftRightOf(RangeIntegerValue other)` Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
`int`	`value()` Returns the specific integer value, if applicable.
`IntegerValue`	`xor(IntegerValue other)` Returns the logical xor of this IntegerValue and the given IntegerValue.
`IntegerValue`	`xor(ParticularIntegerValue other)` Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.
`IntegerValue`	`xor(RangeIntegerValue other)` Returns the logical xor of this IntegerValue and the given RangeIntegerValue.

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, 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, isSpecific, longValue, referenceValue

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

- Constructor Detail
  - RangeIntegerValue
```
public RangeIntegerValue(int min,
                         int max)
```
    Creates a new range of integer values.
- Method Detail
  - value
```
public int value()
```
    Description copied from class: IntegerValue
    
    Returns the specific integer value, if applicable.
    
    Overrides:
    
    value in class IntegerValue
  - 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(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.
    
    Overrides:
    
    generalize in class IntegerValue
  - add
```
public IntegerValue add(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the sum of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    add in class IntegerValue
  - subtract
```
public IntegerValue subtract(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    subtract in class IntegerValue
  - subtractFrom
```
public IntegerValue subtractFrom(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of the given ParticularIntegerValue and this IntegerValue.
    
    Overrides:
    
    subtractFrom in class IntegerValue
  - multiply
```
public IntegerValue multiply(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the product of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    multiply in class IntegerValue
  - divide
```
public IntegerValue divide(ParticularIntegerValue other)
                    throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    divide in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - divideOf
```
public IntegerValue divideOf(ParticularIntegerValue other)
                      throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the quotient of the given ParticularIntegerValue and this IntegerValue.
    
    Overrides:
    
    divideOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainder
```
public IntegerValue remainder(ParticularIntegerValue other)
                       throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.
    
    Overrides:
    
    remainder in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - remainderOf
```
public IntegerValue remainderOf(ParticularIntegerValue other)
                         throws java.lang.ArithmeticException
```
    Description copied from class: IntegerValue
    
    Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.
    
    Overrides:
    
    remainderOf in class IntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - shiftLeft
```
public IntegerValue shiftLeft(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted left by the given ParticularIntegerValue.
    
    Overrides:
    
    shiftLeft in class IntegerValue
  - shiftRight
```
public IntegerValue shiftRight(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted right by the given ParticularIntegerValue.
    
    Overrides:
    
    shiftRight in class IntegerValue
  - unsignedShiftRight
```
public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.
    
    Overrides:
    
    unsignedShiftRight in class IntegerValue
  - shiftLeftOf
```
public IntegerValue shiftLeftOf(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given ParticularIntegerValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class IntegerValue
  - shiftRightOf
```
public IntegerValue shiftRightOf(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given ParticularIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRightOf
```
public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class IntegerValue
  - shiftLeftOf
```
public LongValue shiftLeftOf(ParticularLongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given ParticularLongValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class IntegerValue
  - shiftRightOf
```
public LongValue shiftRightOf(ParticularLongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given ParticularLongValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class IntegerValue
  - unsignedShiftRightOf
```
public LongValue unsignedShiftRightOf(ParticularLongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class IntegerValue
  - and
```
public IntegerValue and(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical and of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    and in class IntegerValue
  - or
```
public IntegerValue or(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical or of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    or in class IntegerValue
  - xor
```
public IntegerValue xor(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.
    
    Overrides:
    
    xor in class IntegerValue
  - equal
```
public int equal(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue and the given ParticularIntegerValue are equal: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    equal in class IntegerValue
  - lessThan
```
public int lessThan(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.
    
    Overrides:
    
    lessThan in class IntegerValue
  - lessThanOrEqual
```
public int lessThanOrEqual(ParticularIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue: 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
  - isParticular
```
public boolean isParticular()
```
    Description copied from class: Value
    
    Returns whether this Value represents a single particular (known) value.
    
    Overrides:
    
    isParticular 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
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

Class RangeIntegerValue

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

RangeIntegerValue

Method Detail

value

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