java - Checker Framework 可以与 Error Prone 一起使用吗？

Question

Checker 框架可以与 Error Prone 一起使用吗？据我所知，它们在编译时检查方面具有重叠的目的，但它们并不做所有相同的事情。我使用 gradle，但我怀疑这两个插件是否可以同时使用(事实上有一个 Unresolved 错误)。如果在命令行上手动执行此操作，我如何在单个 javac 调用中针对文件运行检查器和易出错的操作？？

Answer 1

更新:

您现在可以一起运行 Checker Framework 和 Error Prone。

截至 2019 年 11 月(Checker Framework 版本 3.0.0)，Checker Framework 支持 Java 8 和 Java 11。

截至 2020 年 5 月(Error Prone 版本 2.4.0)，Error Prone 团队修复了一个错误，当您在同一 javac 执行中运行 Error Prone 和 Checker Framework 时，该错误会导致 Checker Framework 崩溃。

原文:

许多组织都运行 Checker Framework 和 Error Prone(Google 和 Uber 就是两个例子)。

目前，这两个工具需要分别调用javac。原因是 Checker Framework 是基于 javac 8 构建的，而 Error Prone 是基于 javac 9 构建的。Checker Framework 开发人员是 currently working转换到 javac 9 时，单个 javac 调用可以运行这两个工具。