android/guava/src/com/google/common/base/Preconditions.java
@CanIgnoreReturnValue
  public static int checkPositionIndex(int index, int size, @NullableDecl String desc) {
    // Carefully optimized for execution by hotspot (explanatory comment above)
    if (index < 0 || index > size) {
      throw new IndexOutOfBoundsException(badPositionIndex(index, size, desc));
    }
    return index;
  }
@CanIgnoreReturnValue
  public static int checkPositionIndex(int index, int size, @NullableDecl String desc) {
    // Carefully optimized for execution by hotspot (explanatory comment above)
    if (index < 0 || index > size) {
      throw new IndexOutOfBoundsException(badPositionIndex(index, size, desc));
    }
    return index;
  }
Ensures that {@code index} specifies a valid <i>position</i> in an array, list or string of
size {@code size}. A position index may range from zero to {@code size}, inclusive.

@param index a user-supplied index identifying a position in an array, list or string
@param size the size of that array, list or string
@param desc the text to use to describe this index in an error message
@return the value of {@code index}
@throws IndexOutOfBoundsException if {@code index} is negative or is greater than {@code size}
@throws IllegalArgumentException if {@code size} is negative