[Checkers] Vararg syntax

Mahmood Ali mahmood at MIT.EDU
Mon Nov 10 16:14:02 EST 2008

Hi Mike,

I just went over your tests.  I am a bit confused about the Vararg  
tests.  Is the vararg syntax different than the array syntax?

I interpreted the vararg syntax in a similar manner to arrays, so
   @Nullable String ... a1;  // a1 is nonnull array of nullable  
string, like @Nullable String []
   String @Nullable ... a2;  // a2 is nullable array of nonnull  
string, like String @Nullable []

Am I mistaken?  If so, we should edit the Varargs test.


More information about the checkers mailing list