[Checkers] Method invocation type inference for annotations
mernst at csail.mit.edu
Wed Mar 19 04:28:10 EDT 2008
> 2. Added type argument inference for method invocation when the user
> does not explicitly declared them.
> This is a good news particularly for the NonNull checker, as it seems
> that all the edits were generics related.
I think you mean "all the edits in the case studies reported in the paper".
Yes, being able to redo those experiments -- and to improve the results --
would be really great. This will be an important improvement to the
More information about the checkers