我已经为Eclipse Oxygen（4.7.2）安装了CheckerFramework（2.3.2）插件。
我可以在文件或项目上手动运行检查程序，并从CheckerFramework获取警告/错误消息。但这会从Eclipse分析和CheckerFramework中发出消息。
我的主要问题是：当Eclipse自动重新编译文件时，如何将Eclipse / CheckerFramework配置为替换内置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注释和代码分析？
我是否需要关闭Eclipse Java -> Compiler -> Errors/Warninigs选项，我想我不想混合使用两个分析器。我希望CheckerFramework能够替换内置的Eclipse内容。
要自动运行CheckerFramework检查重新构建我是否需要从Project -> Properties -> Builders -> New Ant Builder运行CheckerFramework？ （我不愿意，但如果需要的话我可以猜）。
我希望CheckerFramework插件能够为我提供这些选项，并且不会在每次保存后手动检查，但我找不到如何在文档中执行我想要的操作。
答案 0 :(得分：1)
您是对的，Checker Framework Eclipse插件不会作为增量项目构建器运行。你是对的，如果这样做，插件会更有用。
该插件曾经这样做，但Eclipse插件界面复杂，易碎且易于更改，因此Checker Framework开发人员认为不值得花时间继续支持此功能。
我希望开发人员欢迎重新启用该功能的代码贡献。