RFR: 8322256: Define and document GZIPInputStream concatenated stream semantics [v2]

[Eirik Bjørsnøs]

On Fri, 30 Aug 2024 13:02:21 GMT, Lance Andersen <lancea at openjdk.org> wrote:

> > If we are retrofitting the APIs docs then I think treat "GZIP" as a file format. It may require adding overrides so there is a place to document the behavior when reading an entry roll over into the next stream.
> 
> Perhaps, an additional blurb(or APINote) in the existing GZIPInputStream::read, but I think the verbiage that is being proposed with a couple tweaks covers the behavior.

Not entirely sure how to proceed here.. Did we reach consensus on the concern raised by @AlanBateman about "treating GZIP as a file format"? 

Alan, are you ok with supporting concatenated GZIP stream into a single stream, or were you suggesting that we add APIs to parse the individual compressed streams?

I'm not convinced there is any demand for this, also nothing in this proposed change prevents us from adding something like that in the future.

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

PR Comment: https://git.openjdk.org/jdk/pull/20787#issuecomment-2384993515