RFR: 8367943: PipedOutputStream write(0, 0) successful after close()

[Roger Riggs]

On Thu, 30 Oct 2025 23:41:07 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Update the specification of `java.io.PipedOutputStream.write(byte[],int,int)` to match longstanding behavior. Add a verification to an existing test.

src/java.base/share/classes/java/io/PipedOutputStream.java line 141:

> 139:      * @throws  IOException if the pipe is <a href=#BROKEN> broken</a>,
> 140:      *          {@link #connect(java.io.PipedInputStream) unconnected},
> 141:      *          closed and {@code len} is positive,

Though "positive" is correct, fewer people will be puzzled if you say `len is greater than zero`.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28078#discussion_r2481583992