[Checkers] NonNull Annotated JDK

[Mahmood Ali]

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