Есть ли хороший плагин Eclipse для проверки аннотаций @Nonnull и @Nullable?

Question

Есть ли хороший плагин Eclipse для проверки аннотаций @Nonnull и @Nullable?

Проверка аннотаций @Nonnull и @Nullable в Eclipse является ранней бета-версией. Самая большая проблема заключается в том, что он не знает о нуль-поведении Java API.

Есть ли другие плагины, которые лучше в настоящее время?

4

java eclipse-plugin nullable static-analysis jsr305

Источник

user12631 05 окт '11 в 10:03

4 ответа

Другие вопросы по тегам java eclipse-plugin nullable static-analysis jsr305

user1212813 29 сен '13 в 22:22 2013-09-29 22:22 · Answer 1 · 2013-09-29 22:22

Теперь он интегрирован в Eclipse Kepler.

3

Источник

user1212813 29 сен '13 в 22:22

user905762 11 окт '11 в 12:31 2011-10-11 12:31 · Answer 2 · 2011-10-11 12:31

Я обнаружил, что FindBugs хорошо работает и прост в использовании. Плагин FindBugs

1

Источник

user905762 11 окт '11 в 12:31

user422870 05 окт '11 в 10:10 2011-10-05 10:10 · Answer 3 · 2011-10-05 10:10

Получить Eclipse SDK 3.7(или Indigo) Введите этот URL-адрес для обновления: http://download.eclipse.org/objectteams/updates/contrib Выберите и установите: JDT Проверка нулевых аннотаций (ранний доступ). Команды объектов Интеграция Equinox

0

Источник

user422870 05 окт '11 в 10:10

user173852 10 ноя '14 в 09:28 2014-11-10 09:28 · Answer 4 · 2014-11-10 09:28

Самая большая проблема заключается в том, что он не знает о нуль-поведении Java API.

Отсутствие аннотированных библиотек по-прежнему остается проблемой при встроенной проверке нулевого уровня в Eclipse.

Еще один инструмент проверки на нулевое значение - это http://checkerframework.org/, который поставляется с тысячами аннотированных API-интерфейсов из JDK. Checker Framework также делает более точную проверку. Eclipse и FindBugs - это детекторы ошибок, которые обнаруживают некоторые ошибки нулевого указателя, но Checker Framework - это верификатор, который дает гарантию отсутствия ошибок нулевого указателя.

Платформа Checker имеет плагин Eclipse. Встроенная проверка пустоты Eclipse имеет более плавную интеграцию с IDE, но вы можете использовать плагин Checker Framework Eclipse, если вам нужна более мощная проверка.