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

Wed Nov 2 20:42:42 UTC 2022

> 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

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/10945/files
  - new: https://git.openjdk.org/jdk/pull/10945/files/0c31da70..3d5f2d8f

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=10945&range=04
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=10945&range=03-04

  Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/10945.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/10945/head:pull/10945

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