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

Wed Nov 2 20:48:32 UTC 2022

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

Marked as reviewed by alanb (Reviewer).

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

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