RFR: 8258444: Clean up specifications of java.io.Reader.read(char[], int, int) in subclass overrides [v2]

[Daniel Fuchs]

On Tue, 23 Feb 2021 17:42:58 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> 8258444: Clean up specifications of java.io.Reader.read(char[],int,int) in subclass overrides
>
> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8258444: Explcitly inherit IOOBE in {Filter,InputStream}Reader

src/java.base/share/classes/java/io/PushbackReader.java line 98:

> 96:      * {@inheritDoc}
> 97:      */
> 98:     public int read(char[] cbuf, int off, int len) throws IOException {

Shouldn't you add

 * @throws IndexOutOfBoundException {@inheritDoc}
 * @throws IOException {@inheritDoc}

here as well? IIRC the global {@inheritDoc} will not add them.

-------------

PR: https://git.openjdk.java.net/jdk/pull/2680