Я подозреваю, что у вас не установлена библиотека JetBrains Annotations. Следуйте инструкциям по установке здесь .
Синтаксис String @NotNull []
состоит из аннотации @NotNull
, примененной к типу String[]
. Обратите внимание, что это отличается от @NotNull String[]
, в котором @NotNull
применяется только к типу String
. Аннотация используется таким образом, чтобы сказать, что возвращаемый массив строк не будет нулевым, но строки внутри него могут быть.
Сравните:
@NotNull String @Nullable []
: строки в возвращаемый массив не должен быть нулевым, но может быть возвращен нулевой массив. @NotNull String @NotNull []
: строки в возвращаемом массиве не должны быть нулевыми, и массив также должен быть ненулевым @Nullable String @NotNull []
: массив строк не должен быть нулевым, но строки внутри него могут быть нулевыми @Nullable String @Nullable []
: массив строк может быть нулевым, и в нем могут быть нулевые строки