[Checkers] [JSR308] @Target(ElementType.TYPE_USE)

Mahmood Ali mahmood at MIT.EDU
Tue Jun 24 08:23:38 EDT 2008


Hi,

> I can't find the ElemenType.TYPE_USE value as the documentation says.
First, the documentation needs to say  
@Target( { ElementType.TYPE_USE } ) (with the brackets).

Apparently, the compiler does not implement ElementType.TYPE_USE; in  
fact it does not enforce annotations Target policies when appearing in  
JSR308-specific locations.

I think that can be corrected easily.  However, given that ElementType  
is in rt.jar, I suspect that we might have similar issues to  
'Massager.printMessage method not found' errors.

- Mahmood




More information about the checkers mailing list