Checker 框架可以与 Error Prone 一起使用吗？据我所知，它们作为编译时检查填补了重叠的目的，但它们并没有做所有相同的事情。我使用 gradle，但我怀疑可以同时使用两个插件(实际上有一个开放的错误)。如果在命令行上手动执行此操作，如何在单个 javac 调用中同时针对文件运行检查器和易出错的文件？
最佳答案
更新:
您现在可以同时运行 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 框架构建在 javac 8 上，而 Error Prone 构建在 javac 9 上。Checker 框架开发人员在过渡到 javac 9 时非常担心，此时单个 javac 调用可以运行这两个工具。
关于java - Checker Framework 可以与 Error Prone 一起使用吗？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/50866567/