[Checkers] Nullness inference
mernst at cs.washington.edu
Thu Jan 1 17:23:18 EST 2009
> There is no special support for generics in my tool. The problem is
> that the types have been erased in the bytecode.
> Signatures are available in the class
> file (just not in the bytecode part of the class file) if the file
> has been compiled with debugging information.
Mahmood has corrected me:
> I thought that the signature attribute is always available in the
> classfile. The generic signature information is needed by the
> compiler to type-check uses of generic methods and classes.
Thanks for correcting my faulty memory, Mahmood.
More information about the checkers