checker-framework

0зной

1ответ

преобразования из потока <@Nullable T> Потоку <@NonNull T> с использованием потока апи

Я использую CheckerFramework Как я мог удалить аннулирует из потока и получил коллекцию объектов @NonNull? Stream<@Nullable T> -> (remove nulls) -> Stream<@NonNull T>

0зной

1ответ

Checker Framework pass @Initialized значение как параметр @UnderInitialization

Используя методы Checker Framework, методы, используемые конструктором, могут принимать аннотированные параметры @UnderInitialization. Вызов такого метода из не-конструктора и передавая ей результаты

-1зной

1ответ

Поля @Nonnull в методе init

Есть ли способ заставить Eclipse понять, что поля @Nonnull были инициализированы некоторым методом инициализации. Я ищу что-то вроде @EnsuresNonNull ({"bar"}) в совершенно непригодной для использовани

1зной

1ответ

checker framework: Supress Warnings в конструкторе по умолчанию

У меня есть два конструктора: normal ctor, который правильно инициализирует объект и второй по умолчанию ctor для Hibernate, который генерирует предупреждения о инициализации полей. Какой предпочтител

2зной

2ответ

@ Версии аннотаций проверки типов Java

Аннотации типа Java 8 (JSR 308) позволяют проверять тип проверки статического кода. Например, The Checker Framework может проверить на наличие возможных nullness через @NonNull аннотации. Различные пр

1зной

1ответ

Java собирать метод несовместимого с каркасом Checker

Я ввел Checker Framework v2.1.6 для проекта java8 и исправлены все ошибки nullness, но я застрял на следующую ошибке Main.java:52: error: [assignment.type.incompatible] incompatible types in assignmen

3зной

1ответ

Использование пользовательских обработчиков аннотаций рядом с Checker Framework

Я работаю над проектом с несколькими модулями maven, в котором один из модулей содержит несколько обработчиков аннотаций для пользовательских аннотаций, используемых другими модулями. Когда я добавляю