RFR: JDK-8307184: Incorrect/inconsistent specification and implementation for Elements.getDocComment [v5]

Jonathan Gibbons jjg at openjdk.org
Wed Aug 2 21:29:43 UTC 2023

On Fri, 28 Jul 2023 05:51:58 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Start by just reformatting the existing specs to highlight subsequent spec changes.
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
>   Appease jcheck.

src/java.compiler/share/classes/javax/lang/model/util/Elements.java line 300:

> 298:      * if the lines start with <em>zero</em> or more white space characters followed by
> 299:      * <em>one</em> or more "{@code *}" characters,
> 300:      * those leading white space characters are discarded as are any

FWIW, I checked `javac` and it allows form-feed in the leading whitespace characters

As an adjective "white space" is normally a single word, at least in JDK.


PR Review Comment: https://git.openjdk.org/jdk/pull/15062#discussion_r1282434177

More information about the compiler-dev mailing list