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

[Lance Andersen]

On Wed, 28 Aug 2024 18:08:43 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

> Sounds good. How would you like to do that?
> 
> E.g. we could just remove the words "In particular, some GZIP compression tools function by partitioning the input, compressing each partition separately, and then concatenating the resulting compressed data streams. To support this kind of input". We could also remove "In the latter case, the number of additional bytes that were read is unspecified." Or something else (what would you suggest?)
> 
> Thanks.

Yes, no reason to talk about gzip tools.  The focus should be that this method can read concatenated gzip streams when there is a gzip header immediately after the gzip trailer, otherwise additional bytes are treated as End of stream

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

PR Review Comment: https://git.openjdk.org/jdk/pull/18385#discussion_r1735217188