[15] 8235792: LineNumberReader.getLineNumber() behavior is inconsistent with respect to EOF
Brian Burkhalter
brian.burkhalter at oracle.com
Fri Jul 24 18:38:38 UTC 2020
The CSR [1] has been updated as described below.
Thanks,
Brian
[1] https://bugs.openjdk.java.net/browse/JDK-8241020
> On Jul 22, 2020, at 11:36 AM, Brian Burkhalter <brian.burkhalter at oracle.com> wrote:
>
> Yes, I think that the sentence
>
> + * <a href="#lt">Line terminators</a> are compressed into single newline
> + * ('\n') characters.
>
> should be added to the specs of read(char[],int,int) and readLine(), or some equivalent statement be added to the class level doc.
>
>> Besides, the JDK 14 API states that the invocation
>> "Returns:
>> The number of *bytes* read, or -1 if the end of the stream has already been reached"
>>
>> I think it should say "characters" rather than "bytes" but perhaps this has already been corrected.
>
> No, it has not been correct and I agree that it should be “characters,” not “bytes.”
More information about the core-libs-dev
mailing list