java - 配列 NonNull に注釈を付ける方法は?

Question

org.eclipse.jdt.annotation.NonNullを使用して、静的 null 分析用の情報を追加しています。配列に正しく注釈を付ける方法がわかりません：

1. 配列参照が null でないことをどのように言えますか?
2. 配列が null 以外の要素で構成されているとどのように言えますか?

私はテストしました：

    public static void test(@NonNull String[] a) {
        assert a != null;
    }

    public static void main(String[] args) {
        test(null);
    }

ただし、Eclipse は間違っているとはマークしませんtest(null);。