[Checkers] Q about new JSR 308 proposal

Michael Ernst mernst at csail.mit.edu
Sat Sep 6 18:58:42 EDT 2008


I have slightly expanded the discussion in section "B.3 Syntax of array
annotations", in the JSR 308 design document.  Please let me know if there
is anything there that is:
 * missing, or
 * not clear, or
 * not convincing.



More information about the checkers mailing list