[Checkers] Arrays and checkers
mpapi at csail.mit.edu
Wed Mar 19 10:08:17 EDT 2008
> 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.
More information about the checkers