On Thu, 2 Feb 2023 19:51:04 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Oops, wrong "Here" line. Should be 238; so the two lines are 238 and 250. > > `newline` is a flag with a name that is less than ideal. It indicates whether > we are at the beginning of a line, part from whitespace. It is used to > determine whether an `@` character should be treated as introducing a block > tag. As soon as a non-white character is encountered, it is unconditionally > set to `false`, and remains that way until the next newline is encountered. What I mean is this: why would anyone read a character using `nextChar()`, which sets the flag if encounters a newline, and then immediately clears the flag? ------------- PR: https://git.openjdk.org/jdk/pull/12372