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

*** 851,864 ****
       * Reads into an array of bytes.  This method will block until some input
       * is available. Consider using java.io.DataInputStream.readFully to read
       * exactly 'length' bytes.
       *
       * @param   buf the buffer into which the data is read
!      * @param   off the start offset of the data
       * @param   len the maximum number of bytes read
       * @return  the actual number of bytes read, -1 is returned when the end of
       *          the stream is reached.
       * @throws  IOException If an I/O error has occurred.
       * @see java.io.DataInputStream#readFully(byte[],int,int)
       */
      public int read(byte[] buf, int off, int len) throws IOException {
          if (buf == null) {
--- 851,868 ----
       * Reads into an array of bytes.  This method will block until some input
       * is available. Consider using java.io.DataInputStream.readFully to read
       * exactly 'length' bytes.
       *
       * @param   buf the buffer into which the data is read
!      * @param   off the start offset in the destination array {@code buf}
       * @param   len the maximum number of bytes read
       * @return  the actual number of bytes read, -1 is returned when the end of
       *          the stream is reached.
+      * @throws  NullPointerException if {@code buf} is {@code null}.
+      * @throws  IndexOutOfBoundsException if {@code off} is negative,
+      *          {@code len} is negative, or {@code len} is greater than
+      *          {@code buf.length - off}.
       * @throws  IOException If an I/O error has occurred.
       * @see java.io.DataInputStream#readFully(byte[],int,int)
       */
      public int read(byte[] buf, int off, int len) throws IOException {
          if (buf == null) {
*** 1012,1021 ****
--- 1016,1026 ----
  
      /**
       * Reads bytes, blocking until all bytes are read.
       *
       * @param   buf the buffer into which the data is read
+      * @throws  NullPointerException If {@code buf} is {@code null}.
       * @throws  EOFException If end of file is reached.
       * @throws  IOException If other I/O error has occurred.
       */
      public void readFully(byte[] buf) throws IOException {
          bin.readFully(buf, 0, buf.length, false);
*** 1023,1034 ****
  
      /**
       * Reads bytes, blocking until all bytes are read.
       *
       * @param   buf the buffer into which the data is read
!      * @param   off the start offset of the data
       * @param   len the maximum number of bytes to read
       * @throws  EOFException If end of file is reached.
       * @throws  IOException If other I/O error has occurred.
       */
      public void readFully(byte[] buf, int off, int len) throws IOException {
          int endoff = off + len;
--- 1028,1043 ----
  
      /**
       * Reads bytes, blocking until all bytes are read.
       *
       * @param   buf the buffer into which the data is read
!      * @param   off the start offset into the data array {@code buf}
       * @param   len the maximum number of bytes to read
+      * @throws  NullPointerException If {@code buf} is {@code null}.
+      * @throws  IndexOutOfBoundsException If {@code off} is negative,
+      *          {@code len} is negative, or {@code len} is greater than
+      *          {@code buf.length - off}.
       * @throws  EOFException If end of file is reached.
       * @throws  IOException If other I/O error has occurred.
       */
      public void readFully(byte[] buf, int off, int len) throws IOException {
          int endoff = off + len;