[Checkers] Arrays and checkers

Matt Papi mpapi at csail.mit.edu
Wed Mar 19 10:08:17 EDT 2008


Mike,

 > Can you let me know the status of your
 > work, and whether those test cases would be useful to you?

Nearly of the array-related issues were due to issues with the way the 
JSR 308 compiler builds parse trees for arrays -- specifically, where it 
places AnnotatedTypeTrees in the hierarchy -- and with differences 
between ArrayTypeTrees and NewArrayTrees. I am nearly finished making 
these fixes to the compiler. When I'm done, I'll need to make a few 
changes to the framework so that it understands the corrected tree 
layout. (I'm waiting to commit the compiler fixes until then, though, 
because right now many checker tests are failing.) Ideally this will all 
be ready for Friday's release.

The test cases would certainly be useful -- right now I don't have any 
new checker tests, only some compiler tests -- and either way they'll 
make good regression tests.

- Matt





More information about the checkers mailing list