ParticularIntegerValue (ProGuardCORE)

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

```
public final class ParticularIntegerValue
extends SpecificIntegerValue
```
This IntegerValue represents a particular integer value.
This class handles interactions with: - ParticularIntegerValue
It reverses and delegates interactions with: - RangeIntegerValue - IntegerValue (in general)
It notably doesn't handle interactions with: - UnknownInteger - RangeIntegerValue - 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

ParticularIntegerValue(int value)
Creates a new particular integer value.

Constructors
Constructor and Description
`ParticularIntegerValue(int value)` Creates a new particular integer value.

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.SpecificIntegerValue
add, and, divide, divideOf, equal, generalize, isSpecific, lessThan, lessThanOrEqual, multiply, or, remainder, remainderOf, shiftLeft, shiftLeftOf, shiftLeftOf, shiftRight, shiftRightOf, shiftRightOf, subtract, subtractFrom, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, xor

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

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

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

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

- Constructor Detail
  - ParticularIntegerValue
```
public ParticularIntegerValue(int value)
```
    Creates a new particular integer value.
- 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.
    
    Overrides:
    
    negate in class SpecificIntegerValue
  - convertToByte
```
public IntegerValue convertToByte()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a byte IntegerValue.
    
    Overrides:
    
    convertToByte in class SpecificIntegerValue
  - convertToCharacter
```
public IntegerValue convertToCharacter()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a character IntegerValue.
    
    Overrides:
    
    convertToCharacter in class SpecificIntegerValue
  - convertToShort
```
public IntegerValue convertToShort()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a short IntegerValue.
    
    Overrides:
    
    convertToShort in class SpecificIntegerValue
  - convertToLong
```
public LongValue convertToLong()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a LongValue.
    
    Overrides:
    
    convertToLong in class SpecificIntegerValue
  - convertToFloat
```
public FloatValue convertToFloat()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a FloatValue.
    
    Overrides:
    
    convertToFloat in class SpecificIntegerValue
  - convertToDouble
```
public DoubleValue convertToDouble()
```
    Description copied from class: IntegerValue
    
    Converts this IntegerValue to a DoubleValue.
    
    Overrides:
    
    convertToDouble in class SpecificIntegerValue
  - generalize
```
public IntegerValue generalize(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the generalization of this IntegerValue and the given other IntegerValue.
    
    Overrides:
    
    generalize in class SpecificIntegerValue
  - add
```
public IntegerValue add(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the sum of this IntegerValue and the given IntegerValue.
    
    Overrides:
    
    add in class SpecificIntegerValue
  - subtract
```
public IntegerValue subtract(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of this IntegerValue and the given IntegerValue.
    
    Overrides:
    
    subtract in class SpecificIntegerValue
  - subtractFrom
```
public IntegerValue subtractFrom(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the difference of the given IntegerValue and this IntegerValue.
    
    Overrides:
    
    subtractFrom in class SpecificIntegerValue
  - multiply
```
public IntegerValue multiply(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the product of this IntegerValue and the given IntegerValue.
    
    Overrides:
    
    multiply in class SpecificIntegerValue
  - 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.
    
    Overrides:
    
    divide in class SpecificIntegerValue
    
    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.
    
    Overrides:
    
    divideOf in class SpecificIntegerValue
    
    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.
    
    Overrides:
    
    remainder in class SpecificIntegerValue
    
    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.
    
    Overrides:
    
    remainderOf in class SpecificIntegerValue
    
    Throws:
    
    java.lang.ArithmeticException
  - shiftLeft
```
public IntegerValue shiftLeft(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted left by the given IntegerValue.
    
    Overrides:
    
    shiftLeft in class SpecificIntegerValue
  - shiftLeftOf
```
public IntegerValue shiftLeftOf(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given IntegerValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class SpecificIntegerValue
  - shiftRight
```
public IntegerValue shiftRight(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted right by the given IntegerValue.
    
    Overrides:
    
    shiftRight in class SpecificIntegerValue
  - shiftRightOf
```
public IntegerValue shiftRightOf(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given IntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class SpecificIntegerValue
  - unsignedShiftRight
```
public IntegerValue unsignedShiftRight(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
    
    Overrides:
    
    unsignedShiftRight in class SpecificIntegerValue
  - unsignedShiftRightOf
```
public IntegerValue unsignedShiftRightOf(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned IntegerValue, shifted left by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class SpecificIntegerValue
  - shiftLeftOf
```
public LongValue shiftLeftOf(LongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given LongValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class SpecificIntegerValue
  - shiftRightOf
```
public LongValue shiftRightOf(LongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given LongValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class SpecificIntegerValue
  - unsignedShiftRightOf
```
public LongValue unsignedShiftRightOf(LongValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given unsigned LongValue, shifted right by this IntegerValue.
    
    Overrides:
    
    unsignedShiftRightOf in class SpecificIntegerValue
  - and
```
public IntegerValue and(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical and of this IntegerValue and the given IntegerValue.
    
    Overrides:
    
    and in class SpecificIntegerValue
  - or
```
public IntegerValue or(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical or of this IntegerValue and the given IntegerValue.
    
    Overrides:
    
    or in class SpecificIntegerValue
  - xor
```
public IntegerValue xor(IntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the logical xor of this IntegerValue and the given IntegerValue.
    
    Overrides:
    
    xor in class SpecificIntegerValue
  - 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.
    
    Overrides:
    
    equal in class SpecificIntegerValue
  - 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.
    
    Overrides:
    
    lessThan in class SpecificIntegerValue
  - 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.
    
    Overrides:
    
    lessThanOrEqual in class SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
    
    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 SpecificIntegerValue
    
    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 SpecificIntegerValue
    
    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 SpecificIntegerValue
    
    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 SpecificIntegerValue
  - shiftLeftOf
```
public IntegerValue shiftLeftOf(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given RangeIntegerValue, shifted left by this IntegerValue.
    
    Overrides:
    
    shiftLeftOf in class SpecificIntegerValue
  - shiftRight
```
public IntegerValue shiftRight(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns this IntegerValue, shifted right by the given RangeIntegerValue.
    
    Overrides:
    
    shiftRight in class SpecificIntegerValue
  - shiftRightOf
```
public IntegerValue shiftRightOf(RangeIntegerValue other)
```
    Description copied from class: IntegerValue
    
    Returns the given RangeIntegerValue, shifted right by this IntegerValue.
    
    Overrides:
    
    shiftRightOf in class SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - 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 SpecificIntegerValue
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class SpecificIntegerValue
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

Class ParticularIntegerValue

Field Summary

Fields inherited from class proguard.evaluation.value.Value

Constructor Summary

Method Summary

Methods inherited from class proguard.evaluation.value.SpecificIntegerValue

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

ParticularIntegerValue

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

shiftLeftOf