Описание тега checker-framework
Checker Framework - это библиотека, которая улучшает систему типов Java, чтобы обнаруживать и предотвращать ошибки в программах Java.
1
ответ
Как показать полную информацию об ошибках компиляции в Checker FrameWork с номерами строк и т. Д.
Я только начал использовать Checker Framework, и у меня возникла проблема, которая точно воспроизводится в одном из примеров проектов от авторов этого фреймворка. Этот проект доступен здесь: https://github.com/typetools/checker-framework/tree/master…
07 апр '17 в 11:34
1
ответ
Метод сбора Java несовместим с платформой Checker
Я ввел Checker Framework v2.1.6 в проект java8 и исправил все ошибки обнуления, но застрял на следующей ошибке Main.java:52: error: [assignment.type.incompatible] incompatible types in assignment. List<String> collectedStrings = strings.stream…
06 дек '16 в 10:52
0
ответов
Средство проверки, похоже, игнорирует аргумент -AskipUses
Я начал аннотировать свою программу, писать аннотации пустоты. Следуя инструкциям, я прокомментировал один из моих классов и отметил его как @AnnotatedFor({"nullness"}), Программа компилируется на платформе Java 7 с использованием Oracle JDK 1.7.u21…
06 дек '15 в 14:06
1
ответ
Конструкция Java Scoping не может быть аннотирована с использованием типа
Я хочу аннотировать полное имя класса с @Nullable-аннотация (из Java Checker Framework), например: class Demo { private transient @Nullable org.apache.lucene.search.Query cached_results; // ... } Однако это приводит к ошибке: scoping construct canno…
27 янв '14 в 16:19
0
ответов
Как реализовать Micro Types, используя Type Qualifiers и Checker Framework?
Я довольно новичок в Checker Framework, поэтому я могу сделать что-то совершенно не так. Я хотел бы избавиться от микротипов в нашей модели, поэтому вместо того, чтобы писать private TypeAId id; Я хотел бы написать что-то вроде private @TypeAId Stri…
21 сен '16 в 15:49
1
ответ
Передача пути к зависимости Gradle компилятору Java
Я играю с Checker Framework, и его процессор аннотаций требует, чтобы ему был передан путь к банке "аннотированный JDK", чтобы он мог добавлять аннотации типов к классам JDK. Итак, что мне нужно, чтобы Gradle - это найти путь к jar и передать его ко…
11 авг '15 в 19:11
1
ответ
@ Не полные поля в методе init
Есть ли способ заставить Eclipse понять, что поля @Nonnull были инициализированы в некотором методе инициализации. Я ищу что-то вроде @EnsuresNonNull({"bar"}) в иначе непригодной для использования Checker Framework. Пример: import javax.annotation.N…
01 сен '15 в 11:07
1
ответ
Могу ли я поставить диапазон для моего целочисленного параметра
Могу ли я поставить диапазон для целочисленного параметра, чтобы обеспечить целочисленное значение между заданным диапазоном method(int @Range(0,9) i) который буквально проверяет, находится ли параметр i между заданным диапазоном?
13 май '18 в 12:29
0
ответов
Как использовать JDK из зависимости в Gradle?
Я пытаюсь использовать Checker Framework с Gradle. Официальные документы ожидают, что переменная окружения будет указывать на аннотированный JDK: options.forkOptions.executable = "$CHECKERFRAMEWORK/checker/bin/javac" Однако можно управлять зависимос…
30 янв '16 в 15:26
1
ответ
Как я могу вызвать метод с более слабой гарантией побочных эффектов?
Я получил это из проверки блокировки: Error:(52, 30) java: [method.guarantee.violated] @ReleasesNoLocks method proc() calls method unfree() with a weaker @MayReleaseLocks side effect guarantee Я мог бы опубликовать код, но это не имеет значения. Я п…
19 сен '16 в 19:24
0
ответов
Пользовательская аннотация @NonNull Eclipse игнорируется
Я хотел бы использовать функцию "нулевого анализа" в Eclipse, но я бы предпочел использовать аннотацию javax.annotation.Nonnull, чем аннотацию org.eclipse.jdt.annotation.NonNull. Я не могу заставить Eclipse распознавать любые настраиваемые аннотации…
25 апр '15 в 06:26
1
ответ
NullnessChecker: как отключить только проверку инициализации?
Я ссылаюсь на пример nullness в docs (версия для checker-framework: 2.1.14) Когда я запускаю пример, как рекомендуется, чтобы проверить NullnessExampleWithWarnings.java: javac -processor org.checkerframework.checker.nullness.NullnessChecker docs/exa…
05 сен '17 в 14:51
1
ответ
Конвертировать из Stream<@Nullable T> в Stream<@NonNull T>, используя потоковый API
Я использую CheckerFramework Как я мог удалить нули из Stream и получить коллекцию объектов @NonNull? Stream<@Nullable T> -> (remove nulls) -> Stream<@NonNull T>
08 фев '17 в 07:35
2
ответа
@ Сохранение аннотаций проверки типов Java
Аннотации типов Java 8 (JSR 308) позволяют средствам проверки типов выполнять статический анализ кода. Например, https://checkerframework.org/ может проверять возможную пустоту с помощью @NonNull аннотаций. Различные проекты определяют свои собствен…
16 авг '16 в 12:32
1
ответ
Аннотирование повторного входа с помощью Nullness Checker в Java Checker Framework
Я пробую Checker Framework Nullness Checker Framework с Java 8. Когда я запускаю проверку на следующий код: import java.util.HashMap; import java.util.Map; import org.checkerframework.checker.nullness.qual.Nullable; class A { public void f() {} } pu…
15 окт '14 в 08:21
1
ответ
Среда проверки: подавление предупреждений в конструкторе по умолчанию
У меня есть два конструктора: обычный ctor, который правильно инициализирует объект, и второй ctor по умолчанию для Hibernate, который генерирует предупреждения полей инициализации. Какой предпочтительный способ избавиться от предупреждений? package…
02 сен '15 в 15:53
1
ответ
Избегайте "неинициализированных" ошибок на введенных полях при использовании Checker Framework
Nullness Checker в Checker Framework генерирует ошибку при обнаружении неинициализированного поля. [ERROR] /home/glts/src/example/src/main/java/BookRepositoryImpl.java:[39,7] error: [initialization.fields.uninitialized] the constructor does not ini…
30 окт '15 в 13:30
1
ответ
Как обойти фреймворк checker error type.invalid?
У нас есть библиотека, которую мы написали, и после введения в Checker Framework NullnessChecker для проверки ее кода она не компилируется (как и ожидалось). Я исправил все очевидные ошибки, но эту я не могу найти, как исправить... Вот подпись наруш…
30 июн '15 в 12:55
1
ответ
Нужно ли устанавливать фреймворк для проверки перед запуском плагина eclipse?
Моя консоль выдает сообщение об ошибке, когда я открываю диалог настроек в Eclipse. !MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface". !STACK 0 java.lang.UnsupportedClassVersionError: org/checkerframework/checker/nullne…
05 дек '14 в 08:14
2
ответа
Как подавить предупреждения "неизвестная константа перечисления"?
Ссылки на Checkers Framework java.lang.annotation.ElementType.TYPE_USE который был добавлен в JDK8. Когда я использую его под JDK7, я получаю следующее предупреждение: unknown enum constant java.lang.annotation.ElementType.TYPE_USE Это разумное пред…
15 сен '13 в 05:45