Применяется ли @ParametersAreNonnullByDefault к возвращаемым значениям метода?

В документации для @ParametersAreNonnullByDefault говорится, что:

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

Я не считаю, что тип / значение, возвращаемое методом, его параметром. Это только часть его подписи, поэтому для меня это неоднозначно.

Учебник Java для методов , кажется, думает так же, как я.

Как Иоахим Зауэр указал мне в разделе комментариев своего ответа , имя @ParametersAreNonnullByDefault ( parameters ) должно Я четко указал мне, что эта аннотация не применяется к типам / значениям, возвращаемым методами. Я был слепым! :) Спасибо Иоахиму!

В свете этого я могу только сказать, что где-то должен существовать @EverythingIsNonnullByDefault . :)