我想知道在 java 17 中使用检查器框架的正确方法。我查看了文档并在此处结束： https://github.com/typetools/checker-framework/blob/master/docs/examples/MavenExample/ pom.xml 但这似乎不起作用。 这是我 ...
背景我正在使用带有 gradle 的检查器框架，如下所示： build.gradle： 现在，当我运行./gradlew build 时，它正在查看我构建中的所有类。 我不希望检查器框架查看每个 class 但只查看特定的.java 文件。 问题如何限制检查器框架对 one.java 文件运行 ...
我正在使用checkerFramework gradle 插件来静态分析代码中的空值和污染。 当我通过 gradle 运行检查器时，只有我的一个类被正确检查。 所有其他类都返回有关检查器未运行的模棱两可的错误： 链接的手册没有提到可能导致这种情况的原因。 我在我正在使用的主要 class 的一些 ...
我正在尝试在过去使用较旧的 jsr305 注释的现有代码库上采用检查器框架（v 3.18.1），并且遇到一些仅通过阅读手册就难以解决的情况（至少对我而言）。 目前，我正试图告诉空值检查器，另一种方法包含一个空值检查，用于保护相关值。 我把这个例子放在一起，显示了我遇到的问题，{*1} 处的检查器 ...
所以我正在尝试使用检查器框架（来自https://checkerframework.org/ ），我有以下代码： 我如何理解这是有效的，是我可以运行类似的东西 javacheck -processor positiveness Ceker.java 然后检查器会告诉我我没有规则来测试doubl ...
我正在将 Checker Framework 添加到现有的 Java Gradle 构建中。 我已经集成了 Checker 并提出了问题，这一切都很好。 但是现在我已经添加了它，我的构建不再像以前那样生成一个.jar 文件。 以前，我会在build/libs/myproject.jar获得 a.j ...
这是我的错误（是的，commons-lang3 jira 上有一个开放的错误）。 我尝试制作此src/java/main/org/apache/commons/lang3/BooleanUtils.astub并尝试将该文件放入src/main/resources/package org.apach ...
这是我的错误 这些是由 picocli 初始化的，所以我添加了 SuppressWarnings，不确定为什么它仍然会发生。 @SuppressWarnings({ "NullAway.Init", "initialization.fields.uninitialize" }) @Comman ...
所以我从空值检查器那里得到这个错误 这是抱怨System.console()可能是 null，在阅读 javadoc 时这是真的。 所以我将它包装在Objects.requireNonNull()中，现在它抱怨requireNonNull的参数不能是 null，这显然不是真的。 如何告诉Nullne ...
我以为我会给检查器框架一个 go，但我得到了很多 对于此代码 @Nullable abstract String getWorkdir(); 这似乎是我应该写的建议 abstract @Nullable String getWorkdir(); 但这违背了 JLS，有没有办法禁用它？ ...
过去的时间手册和 Stackoverflow 答案说 NNEL 是 Checker 框架中的默认值。 但是，最近的手册 (3.7.1) 不再提及该术语。 我在一个包裹上试过这个： 但是，这是有效的，我不能声明： 结果是： 问题： 现在默认是什么？ NNEL 概念是否包括类型 ...
-J-Xbootclasspath/p: 没有被 maven 编译器插件传递，我该如何解决它？ 系统环境：jdk 1.8.0_265,windows 10. maven 文件：我从 CheckerFramework 示例pom.xml复制了它。 当我第一次通过 mvn clean compil ...
我有一些这样的代码，我将 map 存储到 java 线程本地， 从 checkerframework 启用空值检查时，我得到 我不明白如何解决这个问题。 ...
我有一些 java 代码，如下所示 这给了我错误 这是不可理解的，因为getFoo被Nullable装饰。 我可以在不修改bar方法的情况下防止这种情况吗？ getFoo和bar这两种方法都不受我的修改控制。 解决此问题的解决方案是什么？ ...
我正在将 Nullness Checker 从检查器框架集成到使用 Maven 构建的 Java 项目中。 我为maven-compiler-plugin插件配置了注释处理器。 一切正常，除了我不希望它通过生成的代码运行。 排除将这些注释处理器用于target目录中的代码或特定 java packa ...
我正在尝试使用 Nullness Checker 来构建 JPanel 的子类。 错误消息是这样说的： 问题似乎是 add 方法假定this已初始化。 但是在构造函数中调用容器的 add 方法是非常安全的。 所以为了防止这个错误，我想创建一个带有注释隐式参数的存根文件： 它似乎没有add ...
我是 Checker Framework 的新手，我定义了 2 个子类型注释，如下所示： 和 当我在以下代码中使用带有这些注释的子类型检查器时，它会产生错误，因为 sink() 需要一个标记为 @Sub 的字符串，但收到 @Base（字符串 s0 的默认值），这是预期的行为。 现在我想添 ...
我无法再使用检查器框架构建我的代码。 当我注释掉检查器框架注释处理器时，我的代码编译得很好，所以问题不在于我的代码。 使用该框架，我收到此错误消息： （完整的堆栈跟踪位于底部。） 此堆栈跟踪未引用我的代码中的任何内容。 它似乎是空值检查器中的一个错误。 我使用的是当前版本的 maven ( ...
我试图了解 Checker Framework 如何实现 Pluggable Type Checkers。 通过阅读文档， 检查器框架 (Maven) 我看到了很多设置，在我看来，要么过时，要么不太维护。 据我所知，Java 8 支持 JSR-308 和 JSR-269 上的类型注释和可插入类 ...
我有一个具有类似地图功能的接口，但是没有实现Java的Map接口。 map接口还实现了Iterable<Object> ； 遍历地图的按键 我想在增强型循环的主体中使用this （见下文），但不使用断言，并使用get检索迭代键的值，并且不使用Checker Fr ...