Я хочу аннотировать полное имя класса с помощью аннотации @Nullable (из Java Checker Framework), например: class Demo { private transient @Nullable org.apache.lucene.search.Query cached_results; // ... } Однако это приводит к...

Я пытаюсь использовать Checker Framework с помощью Gradle. Официальные документы ожидают, что переменная среды будет указывать на аннотированный JDK: options.forkOptions.executable = "$CHECKERFRAMEWORK/checker/bin/javac" Однако можно...

Я пытаюсь понять, как Checker Framework реализует Pluggable Type Checkers. Читая документацию, Checker Framework (Maven) Я вижу, что требуется много настроек, и мне кажется, что они либо устарели, либо не совсем поддерживаются. Насколько я...