title: How to Annotate an Array NonNull?
body: <p>I'm using <strong>org.eclipse.jdt.annotation.NonNull</strong> to add extra information for static null analysis.  I donn't know how to annotate arrays correctly:</p>
  
  <ol>
  <li>How can I say that an array reference is non-null?</li>
  <li>How can I say that an array consists of non-null elements?</li>
  </ol>
  
  <p>I've tested:</p>
  
  <pre><code>    public static void test(@NonNull String[] a) {
          assert a != null;
      }
  
      public static void main(String[] args) {
          test(null);
      }
  </code></pre>
  
  <p>However, Eclipse doesn't mark <code>test(null);</code> as wrong.</p>