Проверьте, нет ли метода "return null" и @Nullable

Question

Могу ли я сделать Findbugs или любой другой анализатор кода, проверить, может ли метод, который может возвращать null, как @Nullable?

That't случае я хотел бы проверить:

// Third party library 
class Foo 
{ 
    // Static test should fail because it's not annotated as @Nullable 
    String get() 
    { 
     return null; 
    } 
} 

Answer 1

Я считаю, что текущий инструмент не может сделать это из коробки, включая IntelliJ. Вам нужно будет написать обычную проверку FindBugs. У FindBugs есть некоторая логика для поддержки анализа невозврата.

Причина в том, что вы пытаетесь перепроектировать контракт по методу обратной связи. Аннотации Nullness являются частью контракта, поэтому они не могут и не должны выводиться из кода. Невозможно, даже теоретически, сказать, нужен ли программисту метод для возврата значений null или если это ошибка программирования. В зависимости от этого вам нужно будет исправить код, добавив аннотацию @Nullable или изменив тело метода так, чтобы он не смог вернуть null (и, вероятно, добавив @Nonnull).

FindBugs имеет некоторые annotations, которые вы можете использовать для указания значений по умолчанию на уровне пакетов. Затем он проверит, что все методы классов в этом пакете соответствуют вашему стандарту. Если вы этого не сделали, FindBugs предполагает, что вы установили @Nullable; так что, возможно, ваше дело уже разрешено.

Answer 2

Да, вы можете. IntelliJ Idea имеет инструмент анализа статического кода. Вы можете найти инструкции here.

EDIT: Вы также можете запустить все проверки для своего кода в Idea (посмотрите here) или в автономном режиме с помощью средств командной строки (смотрите here).