[Checkers] NonNull Annotated JDK

Mahmood Ali mahmood at MIT.EDU
Sun Apr 6 15:17:41 EDT 2008

On Apr 6, 2008, at 3:03 PM, Matt Papi wrote:

> I haven't been updating the @Default
> mechanism with respect to recent framework changes (like
> annotateInheritedFromClass()).
If you want to work on it, you might like to consider having  
annotateInheritedFromClass() only add annotations with the meta- 
annotation @TypeQualifier.

I have created @TypeQualifier meta-annotation in one of my last check- 
ins to distinguish type qualifiers from others (for documentation  
purposes more).

It doesn't really matter, as AnnotationRelations and TypeRelations  
only use NonNull and Nullable for subtyping, but it would make the  
emitted error messages more readable (without @Default)

- Mahmood

More information about the checkers mailing list