[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