[Checkers] NonNull Annotated JDK

Matt Papi mpapi at csail.mit.edu
Sun Apr 6 15:21:03 EDT 2008


>  If you want to work on it, you might like to consider having
> annotateInheritedFromClass() only add annotations with the meta-annotation
> @TypeQualifier.
> [...] it would make the emitted error
> messages more readable (without @Default)

Thanks for the heads up! I'm on it :).

- Matt



More information about the checkers mailing list