RFR: JDK-8292427: Improve specification of InflaterInputStream.fill() [v5]

[Volker Simonis]

On Wed, 2 Nov 2022 20:42:42 GMT, Lance Andersen <lancea at openjdk.org> wrote:

>> Hi all,
>> 
>> This PR will update the javadoc to clarify the existing behavior of InflaterInputStream::fill as it currently omits the possibility that a EOFException may be thrown and that the protected `len` field is also updated by this method.
>
> Lance Andersen has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Add @implSpec

Looks good to me. Thanks for updating the CSR.

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

Marked as reviewed by simonis (Reviewer).

PR: https://git.openjdk.org/jdk/pull/10945