Range

java.lang.Object
- org.checkerframework.common.value.util.Range

```
public class Range
extends Object
```
The Range class models a 64-bit two's-complement integral interval, such as all integers between 1 and 10, inclusive. Ranges are immutable.

Author:

JasonMrX

Field Summary

Fields
Modifier and Type	Field and Description
`static Range`	`BYTE_EVERYTHING` A range containing all possible 8-bit values.
`static Range`	`EVERYTHING` A range containing all possible 64-bit values.
`long`	`from` The lower bound of the interval, inclusive.
`static Range`	`INT_EVERYTHING` A range containing all possible 32-bit values.
`static Range`	`NOTHING` The empty range.
`static Range`	`SHORT_EVERYTHING` A range containing all possible 16-bit values.
`long`	`to` The upper bound of the interval, inclusive.

Constructor Summary

Constructors
Constructor and Description

Range(long from, long to)
Constructs a range with its bounds specified by two parameters, from and to.

Constructors
Constructor and Description
`Range(long from, long to)` Constructs a range with its bounds specified by two parameters, `from` and `to`.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Range`	`bitwiseAnd(Range right)` We give up the analysis for bitwise AND operation
`Range`	`bitwiseComplement()` Returns the range of a variable that falls within this range after applying the bitwise complement operation.
`Range`	`bitwiseOr(Range right)` We give up the analysis for bitwise OR operation
`Range`	`bitwiseXor(Range right)` We give up the analysis for bitwise XOR operation
`Range`	`byteRange()` Converts a this range to a 8-bit byte range.
`boolean`	`contains(long element)` Returns true if the element is contained in this range.
`boolean`	`contains(Range other)` Returns true if the element is contained in this range.
`Range`	`divide(Range right)` Returns the smallest range that includes all possible values resulting from dividing (integer division) an arbitrary value in this range by an arbitrary value in the specified range.
`boolean`	`equals(Object obj)`
`int`	`hashCode()`
`Range`	`intersect(Range right)` Returns the smallest range that includes all values contained in both of the two ranges.
`Range`	`intRange()` Converts a this range to a 32-bit integral range.
`boolean`	`isEverything()` Return true if this range contains every `long` value.
`boolean`	`isNothing()` Return true if this range contains no values.
`boolean`	`isWiderThan(long value)` Determines if the range is wider than a given value, i.e., if the number of possible values enclosed by this range is more than the given value.
`boolean`	`isWithin(long lb, long ub)` Determines if this range is completely contained in the range specified by the given lower bound and upper bound.
`Range`	`minus(Range right)` Returns the smallest range that includes all possible values resulting from subtracting an arbitrary value in the specified range from an arbitrary value in this range.
`Range`	`plus(Range right)` Returns the smallest range that includes all possible values resulting from adding an arbitrary value in the specified range to an arbitrary value in this range.
`Range`	`refineEqualTo(Range right)` Refines this range to reflect that some value in it can be equal to a value in the given range.
`Range`	`refineGreaterThan(Range right)` Refines this range to reflect that some value in it can be greater than a value in the given range.
`Range`	`refineGreaterThanEq(Range right)` Refines this range to reflect that some value in it can be greater than or equal to a value in the given range.
`Range`	`refineLessThan(Range right)` Refines this range to reflect that some value in it can be less than a value in the given range.
`Range`	`refineLessThanEq(Range right)` Refines this range to reflect that some value in it can be less than or equal to a value in the given range.
`Range`	`refineNotEqualTo(Range right)` Refines this range to reflect that some value in it must not be equal to a value in the given range.
`Range`	`remainder(Range right)` Returns a range that includes all possible values of the remainder of dividing an arbitrary value in this range by an arbitrary value in the specified range.
`Range`	`shiftLeft(Range right)` Returns a range that includes all possible values resulting from left shifting an arbitrary value in this range by an arbitrary number of bits in the specified range.
`Range`	`shortRange()` Converts a this range to a 16-bit short range.
`Range`	`signedShiftRight(Range right)` Returns a range that includes all possible values resulting from signed right shifting an arbitrary value in this range by an arbitrary number of bits in the specified range.
`Range`	`times(Range right)` Returns the smallest range that includes all possible values resulting from multiplying an arbitrary value in the specified range by an arbitrary value in this range.
`String`	`toString()`
`Range`	`unaryMinus()` Returns the range of a variable that falls within this range after applying the unary minus operation.
`Range`	`unaryPlus()` Returns the range of a variable that falls within this range after applying the unary plus operation (which is a no-op).
`Range`	`union(Range right)` Returns the smallest range that includes all values contained in either of the two ranges.
`Range`	`unsignedShiftRight(Range right)` We give up the analysis for unsigned shift right operation

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

- Field Detail
  - from
```
public final long from
```
    The lower bound of the interval, inclusive.
  - to
```
public final long to
```
    The upper bound of the interval, inclusive.
  - EVERYTHING
```
public static final Range EVERYTHING
```
    A range containing all possible 64-bit values.
  - INT_EVERYTHING
```
public static final Range INT_EVERYTHING
```
    A range containing all possible 32-bit values.
  - SHORT_EVERYTHING
```
public static final Range SHORT_EVERYTHING
```
    A range containing all possible 16-bit values.
  - BYTE_EVERYTHING
```
public static final Range BYTE_EVERYTHING
```
    A range containing all possible 8-bit values.
  - NOTHING
```
public static final Range NOTHING
```
    The empty range.
- Constructor Detail
  - Range
```
public Range(long from,
             long to)
```
    Constructs a range with its bounds specified by two parameters, from and to.
    
    Parameters:
    
    from - the lower bound (inclusive)
    
    to - the upper bound (inclusive)
- Method Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - equals
```
public boolean equals(Object obj)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - isEverything
```
public boolean isEverything()
```
    Return true if this range contains every long value.
  - isNothing
```
public boolean isNothing()
```
    Return true if this range contains no values.
  - intRange
```
public Range intRange()
```
    Converts a this range to a 32-bit integral range.
    If this range is too wide, i.e., wider than the full range of the Integer class, return INT_EVERYTHING.
    If the bounds of this range are not representable as 32-bit integers, convert the bounds to Integer type in accordance with Java overflow rules, e.g., Integer.MAX_VALUE + 1 is converted to Integer.MIN_VALUE.
  - shortRange
```
public Range shortRange()
```
    Converts a this range to a 16-bit short range.
    If this range is too wide, i.e., wider than the full range of the Short class, return SHORT_EVERYTHING.
    If the bounds of this range are not representable as 16-bit integers, convert the bounds to Integer type in accordance with Java overflow rules, e.g., Short.MAX_VALUE + 1 is converted to Short.MIN_VALUE.
  - byteRange
```
public Range byteRange()
```
    Converts a this range to a 8-bit byte range.
    If this range is too wide, i.e., wider than the full range of the Byte class, return BYTE_EVERYTHING.
    If the bounds of this range are not representable as 8-bit integers, convert the bounds to Integer type in accordance with Java overflow rules, e.g., Byte.MAX_VALUE + 1 is converted to Byte.MIN_VALUE.
  - contains
```
public boolean contains(long element)
```
    Returns true if the element is contained in this range.
  - contains
```
public boolean contains(Range other)
```
    Returns true if the element is contained in this range.
  - union
```
public Range union(Range right)
```
    Returns the smallest range that includes all values contained in either of the two ranges. We call this the union of two ranges.
    
    Parameters:
    
    right - a range to union with this range
    
    Returns:
    
    a range resulting from the union of the specified range and this range
  - intersect
```
public Range intersect(Range right)
```
    Returns the smallest range that includes all values contained in both of the two ranges. We call this the intersection of two ranges. If there is no overlap between the two ranges, returns an empty range.
    
    Parameters:
    
    right - the range to intersect with this range
    
    Returns:
    
    a range resulting from the intersection of the specified range and this range
  - plus
```
public Range plus(Range right)
```
    Returns the smallest range that includes all possible values resulting from adding an arbitrary value in the specified range to an arbitrary value in this range. We call this We call this the addition of two ranges.
    
    Parameters:
    
    right - a range to be added to this range
    
    Returns:
    
    the range resulting from the addition of the specified range and this range
  - minus
```
public Range minus(Range right)
```
    Returns the smallest range that includes all possible values resulting from subtracting an arbitrary value in the specified range from an arbitrary value in this range. We call this the subtraction of two ranges.
    
    Parameters:
    
    right - the range to be subtracted from this range
    
    Returns:
    
    the range resulting from subtracting the specified range from this range
  - times
```
public Range times(Range right)
```
    Returns the smallest range that includes all possible values resulting from multiplying an arbitrary value in the specified range by an arbitrary value in this range. We call this the multiplication of two ranges.
    
    Parameters:
    
    right - the specified range to be multiplied by this range
    
    Returns:
    
    the range resulting from multiplying the specified range by this range
  - divide
```
public Range divide(Range right)
```
    Returns the smallest range that includes all possible values resulting from dividing (integer division) an arbitrary value in this range by an arbitrary value in the specified range. We call this the division of two ranges.
    
    Parameters:
    
    right - the specified range by which this range is divided
    
    Returns:
    
    the range resulting from dividing this range by the specified range
  - remainder
```
public Range remainder(Range right)
```
    Returns a range that includes all possible values of the remainder of dividing an arbitrary value in this range by an arbitrary value in the specified range.
    In the current implementation, the result might not be the smallest range that includes all the possible values.
    
    Parameters:
    
    right - the specified range by which this range is divided
    
    Returns:
    
    the range of the remainder of dividing this range by the specified range
  - shiftLeft
```
public Range shiftLeft(Range right)
```
    Returns a range that includes all possible values resulting from left shifting an arbitrary value in this range by an arbitrary number of bits in the specified range. We call this the left shift of a range.
    
    Parameters:
    
    right - the range of bits by which this range is left shifted
    
    Returns:
    
    the range resulting from left shifting this range by the specified range
  - signedShiftRight
```
public Range signedShiftRight(Range right)
```
    Returns a range that includes all possible values resulting from signed right shifting an arbitrary value in this range by an arbitrary number of bits in the specified range. We call this the signed right shift operation of a range.
    
    Parameters:
    
    right - the range of bits by which this range is signed right shifted
    
    Returns:
    
    the range resulting from signed right shifting this range by the specified range
  - unsignedShiftRight
```
public Range unsignedShiftRight(Range right)
```
    We give up the analysis for unsigned shift right operation
  - bitwiseAnd
```
public Range bitwiseAnd(Range right)
```
    We give up the analysis for bitwise AND operation
  - bitwiseOr
```
public Range bitwiseOr(Range right)
```
    We give up the analysis for bitwise OR operation
  - bitwiseXor
```
public Range bitwiseXor(Range right)
```
    We give up the analysis for bitwise XOR operation
  - unaryPlus
```
public Range unaryPlus()
```
    Returns the range of a variable that falls within this range after applying the unary plus operation (which is a no-op).
    
    Returns:
    
    this range
  - unaryMinus
```
public Range unaryMinus()
```
    Returns the range of a variable that falls within this range after applying the unary minus operation.
    
    Returns:
    
    the resulted range of applying unary minus on an arbitrary value in this range
  - bitwiseComplement
```
public Range bitwiseComplement()
```
    Returns the range of a variable that falls within this range after applying the bitwise complement operation.
    
    Returns:
    
    the resulting range of applying bitwise complement on an arbitrary value in this range
  - refineLessThan
```
public Range refineLessThan(Range right)
```
    Refines this range to reflect that some value in it can be less than a value in the given range. This is used for calculating the control-flow-refined result of the < operator. For example:
```
 
     @IntRange(from = 0, to = 10) int a;
     @IntRange(from = 3, to = 7) int b;
     ...
     if (a < b) {
         // range of a is now refined to [0, 6] because a value in range [7, 10]
         // cannot be smaller than variable b with range [3, 7].
         ...
     }
 
 
```
    Use the refineGreaterThanEq(Range) method if you are also interested in refining the range of b in the code above.
    Parameters:
    
    right - the specified Range to compare with
    
    Returns:
    
    the refined Range
  - refineLessThanEq
```
public Range refineLessThanEq(Range right)
```
    Refines this range to reflect that some value in it can be less than or equal to a value in the given range. This is used for calculating the control-flow-refined result of the <= operator. For example:
```
 
     @IntRange(from = 0, to = 10) int a;
     @IntRange(from = 3, to = 7) int b;
     ...
     if (a <= b) {
         // range of a is now refined to [0, 7] because a value in range [8, 10]
         // cannot be less than or equal to variable b with range [3, 7].
         ...
     }
 
 
```
    Use the refineGreaterThan(Range) method if you are also interested in refining the range of b in the code above.
    Parameters:
    
    right - the specified Range to compare with
    
    Returns:
    
    the refined Range
  - refineGreaterThan
```
public Range refineGreaterThan(Range right)
```
    Refines this range to reflect that some value in it can be greater than a value in the given range. This is used for calculating the control-flow-refined result of the > operator. For example:
```
 
     @IntRange(from = 0, to = 10) int a;
     @IntRange(from = 3, to = 7) int b;
     ...
     if (a > b) {
         // range of a is now refined to [4, 10] because a value in range [0, 3]
         // cannot be greater than variable b with range [3, 7].
         ...
     }
 
 
```
    Use the refineLessThanEq(Range) method if you are also interested in refining the range of b in the code above.
    Parameters:
    
    right - the specified Range to compare with
    
    Returns:
    
    the refined Range
  - refineGreaterThanEq
```
public Range refineGreaterThanEq(Range right)
```
    Refines this range to reflect that some value in it can be greater than or equal to a value in the given range. This is used for calculating the control-flow-refined result of the >= operator. For example:
```
 
     @IntRange(from = 0, to = 10) int a;
     @IntRange(from = 3, to = 7) int b;
     ...
     if (a >= b) {
         // range of a is now refined to [3, 10] because a value in range [0, 2]
         // cannot be greater than or equal to variable b with range [3, 7].
         ...
     }
 
 
```
    Use the refineLessThan(Range) method if you are also interested in refining the range of b in the code above.
    Parameters:
    
    right - the specified Range to compare with
    
    Returns:
    
    the refined Range
  - refineEqualTo
```
public Range refineEqualTo(Range right)
```
    Refines this range to reflect that some value in it can be equal to a value in the given range. This is used for calculating the control-flow-refined result of the == operator. For example:
```
 
     @IntRange(from = 0, to = 10) int a;
     @IntRange(from = 3, to = 15) int b;
     ...
     if (a == b) {
         // range of a is now refined to [3, 10] because a value in range [0, 2]
         // cannot be equal to variable b with range [3, 15].
         ...
     }
 
 
```
    Parameters:
    
    right - the specified Range to compare with
    
    Returns:
    
    the refined Range
  - refineNotEqualTo
```
public Range refineNotEqualTo(Range right)
```
    Refines this range to reflect that some value in it must not be equal to a value in the given range. This only changes the range if the given range (right) contains exactly one integer, and that integer is one of the bounds of this range. This is used for calculating the control-flow-refined result of the != operator. For example:
```
 
     @IntRange(from = 0, to = 10) int a;
     @IntRange(from = 0, to = 0) int b;
     ...
     if (a != b) {
         // range of a is now refined to [1, 10] because it cannot
         // be zero.
         ...
     }
 
 
```
    Parameters:
    
    right - the specified Range to compare with
    
    Returns:
    
    the refined Range
  - isWiderThan
```
public boolean isWiderThan(long value)
```
    Determines if the range is wider than a given value, i.e., if the number of possible values enclosed by this range is more than the given value.
    
    Parameters:
    
    value - the value to compare with
    
    Returns:
    
    true if wider than the given value
  - isWithin
```
public boolean isWithin(long lb,
                        long ub)
```
    Determines if this range is completely contained in the range specified by the given lower bound and upper bound.

Class Range

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

from

to

EVERYTHING

INT_EVERYTHING

SHORT_EVERYTHING

BYTE_EVERYTHING

NOTHING

Constructor Detail

Range

Method Detail

toString

equals

hashCode

isEverything

isNothing

intRange

shortRange

byteRange

contains

contains

union

intersect

plus

minus

times

divide

remainder

shiftLeft

signedShiftRight

unsignedShiftRight

bitwiseAnd

bitwiseOr

bitwiseXor

unaryPlus

unaryMinus

bitwiseComplement

refineLessThan

refineLessThanEq

refineGreaterThan

refineGreaterThanEq

refineEqualTo

refineNotEqualTo

isWiderThan

isWithin