[JSR308] Type annotations syntax support in OpenJDK javac
Jonathan.Gibbons at Sun.COM
Tue Jun 30 12:29:53 EDT 2009
Yes, I too would like to see modules as the means by which the checkers
framework and other tools for processing annotations can be downloaded
and installed on a user's system.
On Jun 30, 2009, at 8:00 AM, Michael Ernst wrote:
>> Are some checkers included or not ?
> No, you need to download checkers separately (see
> The Java language does not constrain or suggest how type annotations
> can be used. Pluggable type-checking is only one such use, and the
> Framework is only one way to build pluggable type-checkers.
> Once Java has a modularity mechanism (hopefully in Java 7), then one
> imagine Sun breaking the JDK into pieces. Users would download a
> of modules that is appropriate for them. Maybe at that time, Sun
> will host
> the Checker Framework as a useful external tool (not as a
> standardized and
> official part of Java), to make it convenient for users to find and
> JSR308 mailing list
> JSR308 at lists.csail.mit.edu
More information about the JSR308