I have been trying to familiarize myself with records, but I ran into something that really looks like a bug in Java's tool for linting JavaDoc -Xdoclint.
I tried to use this command...
javac -Xdoclint:all XdoclintDoesntHandleRecordJavadocCorrectly.java
...to lint my JavaDoc for this file...
/**
*
* Comment.
*
* @param a Comment.
* @param b Comment.
* @param c Comment.
*
*/
public record XdoclintDoesntHandleRecordJavadocCorrectly(
/** Comment. */
int a,
/** b Comment. */
int b,
/** @param c Comment. */
int c
) {}
...which gave me this error...
XdoclintDoesntHandleRecordJavadocCorrectly.java:14: warning: no comment
int a,
^
XdoclintDoesntHandleRecordJavadocCorrectly.java:16: warning: no comment
int b,
^
XdoclintDoesntHandleRecordJavadocCorrectly.java:18: warning: no comment
int c
^
3 warnings
...which makes no sense to me at all.
Is this a bug in Java's -Xdoclint tool? Normally, I wouldn't be so quick to make the claim, but this isn't the first time that -Xdoclint tool has had bugs that Java later fixed.
And finally, here is my java version.
$ java --version
java 18 2022-03-22
Java(TM) SE Runtime Environment (build 18+36-2087)
Java HotSpot(TM) 64-Bit Server VM (build 18+36-2087, mixed mode, sharing)