Findbugs NP_ARGUMENT_MIGHT_BE_NULL не запускается, как ожидалось

Question

Я использую Findbugs вместе с аннотацией javax.annotation.Nonnull. В следующий метод

@Nonnull 
public String methodA(@Nonnull String foo, @Nonnull Integer bar) { 
    // missing checkNotNull(foo) 
    // missing checkNotNull(bar) 

    int fooLen = foo.length(); // did not check that foo is non-null 

    return (bar < fooLen)? foo : null; // did not check that bar is non-null 
} 

PARAMS Foo и бар объявлены ненулевым, и они впоследствии разыменовываются без первого проверяемого, если они равны нулю. Когда я запускаю Findbugs против кода (используя плагин Gradle Findbugs), отчет Findbugs не включает ожидаемое предупреждение NP_ARGUMENT_MIGHT_BE_NULL. С сайта FindBugs, описание NP_ARGUMENT_MIGHT_BE_NULL:

NP: Метод не проверяет нулевой аргумент (NP_ARGUMENT_MIGHT_BE_NULL)

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

Что я делаю неправильно?

Answer 1

Вы указали, что foo и bar являются @Nonnull. Это говорит findbugs, чтобы посмотреть на вызовы methodA для возможности аргументов null и отклонить их, если он их найдет.

В методе, именно потому, что они аннотируются @Nonnull, FindBugs предполагает, что они не могут быть null и, следовательно, позволяет использовать их непосредственно.

Возможно, вам потребуется аннотировать параметры @CheckForNull за поведение, которое вы ожидаете.