[Checkers] @DefaultQualifier

Mahmood Ali mahmood at MIT.EDU
Tue Jun 24 22:46:34 EDT 2008


Hi Mike,

> @DefaultQualifiers({
>  @DefaultQualifier("NonNull"), [...]
> })

I'm a bit confused.  I thought annotations cannot be values, so cannot  
be in array without actually annotating something.

- Mahmood



More information about the checkers mailing list