1

我参考了文档中的空值示例（检查器框架版本2.1.14：）

当我按照建议运行示例以检查NullnessExampleWithWarnings.java 时：

javac -processor org.checkerframework.checker.nullness.NullnessChecker docs/examples/NullnessExampleWithWarnings.java

我得到预期的错误：

..\..\docs\examples\NullnessExampleWithWarnings.java:23: error: [assignment.type.incompatible] incompatible types in assignment.
        foo = bar;
              ^
  found   : @FBCBottom @Nullable String
  required: @UnknownInitialization @NonNull String
..\..\docs\examples\NullnessExampleWithWarnings.java:33: error: [argument.type.incompatible] incompatible types in argument.
        foo.add(quux);
                ^
  found   : @FBCBottom @Nullable String
  required: @Initialized @NonNull String
2 errors

现在我禁用初始化检查器：使用AsuppressWarnings=initialization.

javac -processor org.checkerframework.checker.nullness.NullnessChecker -AsuppressWarnings=initialization docs/examples/NullnessExampleWithWarnings.java

但这也禁用了空检查，并且构建不再报告错误。

如何禁用Initialization checker，但保留 Null 检查？

4

1 回答 1

2

Checker Framework 手册的第3.1和3.8节建议使用而不是. 这适用于您的示例。-AsuppressWarnings=uninitialized-AsuppressWarnings=initialization

该建议的原因是 Nullness 和初始化检查器的实现细节：它们实际上是同一个检查器，而不是聚合在一起的两个单独的检查器。

于 2017-09-08T20:59:20.743 回答