java - IntelliJ CheckerFramework 插件

Question

我在 Spring 应用程序中使用 Java 中 CheckerFramework 的依赖项

    <dependency>
        <groupId>org.checkerframework</groupId>
        <artifactId>checker-qual</artifactId>
        <version>1.9.4</version>
    </dependency>

在 IntelliJ 下的 Maven 项目中。我安装了 IntelliJ 插件，可用 here 。但是，当我添加注释时，例如

导入org.checkerframework.checker.igj.qual.ReadOnly;导入 org.checkerframework.checker.nullness.qual.NonNull;

@服务公共(public)类 AService {

@Override
public void addSomething(final int[] @NonNull  @ReadOnly something) {}

我收到消息这里不允许注释并且我无法编译。我已经打开了插件的所有注释。

我该如何解决这个问题？

Answer 1

您编写的语法不是合法的 Java。

数组类型的注释写在数组括号之前，而不是后面。

如果您希望指示 something 是一个非空整数数组，则不要编写 int[] @NonNull some。相反，这样写:

int @NonNull [] something