On Fri, 8 Oct 2021 18:32:53 GMT, Jonathan Gibbons <[email protected]> wrote:
> Please review a moderately simple change, to have DocLint check for relevant
> `@SuppressWarnings` annotations before reporting any messages.
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Env.java line 302:
> 300: for (String a: arg.substring(len).split(",")) {
> 301: Messages.Group argGroup = gMap.get(a);
> 302: if (argGroup != null) {
Should we let the user know about unknown doclint:* values?
-------------
PR: https://git.openjdk.java.net/jdk/pull/5870
