[Checkers] [Jsr308-bugs] [JSR308] Annotations on type parameters.
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