CheckerFramework Eclipse，运行 检查自动构建
CheckerFramework Eclipse, run checks on auto build
我已经为 Eclipse Oxygen (4.7.2) 安装了 CheckerFramework (2.3.2) 插件。
我能够在文件或项目上手动 运行 检查器并从 CheckerFramework 获取 warning/error 消息。但这给出了来自 Eclipse 分析和 CheckerFramework 的消息。
我的主要问题是：如何配置 Eclipse/CheckerFramework 以 替换内置的 Eclipse 分析并自动 运行 CheckerFramework checkers 当 Eclipse 自动重试时- 在保存时编译文件等？
我试过配置：
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 插件会给我这些选项，而不是让我在每次保存后手动检查，但我在文档中找不到我想要的方法。
您说得对，Checker Framework Eclipse 插件没有运行 作为增量项目构建器。你是对的，如果这样做，插件会更有用。
该插件曾经这样做，但 Eclipse 插件界面复杂、脆弱且容易更改，因此 Checker Framework 开发人员认为不值得他们花时间继续支持此功能。
我希望开发人员会欢迎 re-enabled 功能的代码贡献。
我已经为 Eclipse Oxygen (4.7.2) 安装了 CheckerFramework (2.3.2) 插件。
我能够在文件或项目上手动 运行 检查器并从 CheckerFramework 获取 warning/error 消息。但这给出了来自 Eclipse 分析和 CheckerFramework 的消息。
我的主要问题是：如何配置 Eclipse/CheckerFramework 以 替换内置的 Eclipse 分析并自动 运行 CheckerFramework checkers 当 Eclipse 自动重试时- 在保存时编译文件等？
我试过配置：
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 插件会给我这些选项，而不是让我在每次保存后手动检查，但我在文档中找不到我想要的方法。
您说得对，Checker Framework Eclipse 插件没有运行 作为增量项目构建器。你是对的，如果这样做，插件会更有用。
该插件曾经这样做，但 Eclipse 插件界面复杂、脆弱且容易更改，因此 Checker Framework 开发人员认为不值得他们花时间继续支持此功能。
我希望开发人员会欢迎 re-enabled 功能的代码贡献。