java - 检查器框架，有什么方法可以使 type.anno.before.modifier 警告静音/禁用？

Question

我想我会试一试检查器框架，但我得到了很多这样的东西

/Users/calebcushing/IdeaProjects/ppm/scaf/src/main/java/com/xenoterracide/scaf/Config.java:22: warning: [type.anno.before.modifier] write type annotation @NonNull() immediately before type, after modifiers [abstract]
  abstract Map<String, SkeletonConfiguration> getTemplates();

对于这段代码

  @Nullable
  abstract String getWorkdir();

好像是建议我写

  abstract @Nullable String getWorkdir();

但这违背了 JLS，是否有办法禁用它？

Answer 1

1. 您说“这违背了 JLS”，但事实并非如此。它是合法的 Java，并且是更好的风格。

2. Checker Framework Manual描述如何suppress warnings ，例如通过 @SuppressWarning("type.anno.before.modifier") 注释或 -AsuppressWarnings=type.anno.before.modifier 命令行参数。