On 20.12.20 18:47, Rob Spoor wrote:
... That "> 0" is incorrect here; it's allowed to return 0 before EOF
I don't think the method is allowed to return 0 before EOF. To quote
from the method Javadoc.
> This method blocks until input data is available, end of file is
detected, or an exception is thrown.
> If no byte is available because the stream is at end of file, the
value {@code -1} is returned; otherwise, at least one byte is read and
stored into {@code b}.
Cheers
Philippe
