1

我已经为 Eclipse Oxygen (4.7.2) 安装了 CheckerFramework (2.3.2) 插件。

我能够在文件或项目上手动运行检查器，并从 CheckerFramework 获取警告/错误消息。但这会提供来自 Eclipse 分析和 CheckerFramework 的消息。

我的主要问题是：如何配置 Eclipse/CheckerFramework 以替换内置的 Eclipse 分析并在 Eclipse 自动重新编译保存等文件时自动运行 CheckerFramework 检查器？

我试过配置：

Java -> Compiler -> Errors/Warninigs -> Null Analysis -> Enable annotation based null analysis -> Configure Annotations for Null Specifications

并将注释类指定为

org.checkerframework.checker.nullness.qual.Nullable

但这仅用于注释。是这样，还是 CheckerFramework 有办法代替 Eclipse 注释和代码分析？

我是否需要关闭 EclipseJava -> Compiler -> Errors/Warninigs选项，我想我不想要两个分析器的混合。我希望 CheckerFramework替换内置的 Eclipse 东西。

要在重新构建时自动运行 CheckerFramework 检查，我是否需要从中Project -> Properties -> Builders -> New Ant Builder运行 CheckerFramework？（我不喜欢，但如果需要我猜可以）。

我希望 CheckerFramework 插件能给我这些选项，而不是让我在每次保存后手动检查，但我在文档中找不到我想要的方法。

4

1 回答 1

2

您是对的，Checker Framework Eclipse 插件不作为增量项目构建器运行。你是对的，如果这样做，插件会更有用。

该插件曾经这样做过，但 Eclipse 插件接口复杂、脆弱且随时可能更改，因此 Checker Framework 开发人员认为不值得花时间继续支持此功能。

我希望开发人员会欢迎重新启用该功能的代码贡献。

于 2018-02-23T02:59:00.497 回答