src/java.base/share/classes/java/io/Reader.java

rev 11891 : 8029689: (spec) Reader.read(char[], int, int) throws unspecified IndexOutOfBoundsException
Reviewed-by: Stephen Hawking, Hedonismbot

*** 151,160 ****
--- 151,163 ----
       *
       * @return     The number of characters read, or -1 if the end of the
       *             stream has been reached
       *
       * @exception  IOException  If an I/O error occurs
+      * @exception  IndexOutOfBoundsException
+      *             If {@code off} is negative, or {@code len} is negative,
+      *             or {@code len} is greater than {@code cbuf.length - off}
       */
      abstract public int read(char cbuf[], int off, int len) throws IOException;
  
      /** Maximum skip-buffer size */
      private static final int maxSkipBufferSize = 8192;