[JSR308] Type annotations syntax support in OpenJDK javac

[Jonathan Gibbons]

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.

-- Jon


On Jun 30, 2009, at 8:00 AM, Michael Ernst wrote:

> Remi-
>
>> Are some checkers included or not ?
>
> No, you need to download checkers separately (see
> http://groups.csail.mit.edu/pag/jsr308/current/checkers-manual.html#installation) 
> .
>
> The Java language does not constrain or suggest how type annotations
> can be used.  Pluggable type-checking is only one such use, and the  
> Checker
> Framework is only one way to build pluggable type-checkers.
>
> Once Java has a modularity mechanism (hopefully in Java 7), then one  
> can
> imagine Sun breaking the JDK into pieces.  Users would download a  
> selection
> 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
> download.
>
>                    -Mike
>
> _______________________________________________
> JSR308 mailing list
> JSR308 at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/jsr308