[Checkers] [Jsr308-bugs] [JSR308] Annotations on type parameters.

Michael Ernst mernst at csail.mit.edu
Fri Oct 31 04:33:35 EDT 2008


I've improved the Javadoc documentation to clarify what null means and when
it can occur.  I didn't discuss this:

> Our convention for handling null types is to effectively add a bottom  
> qualifier to the annotated null type.  A bottom qualifier is a  
> qualifier that is a subtype of all other qualifiers in the hierarchy  
> (e.g. Interned for Interning, Mutable for Javari).  All of our  
> supported checkers (except for Nullness checker) follow this convention.

which probably belongs in the checker framework manual, or else nowhere.


More information about the checkers mailing list