[JSR308] JSR 308 documents and tools released

[Bill Pugh]

The document suggests (Section 3.3) that we can use ElementType  
declarations to disambiguate whether an annotation applies to a  
method or a return value.

However, this is not compatible with pre-JSR308 usage, and won't be  
compatible with JSR305. Under JSR-175, if an annotation such as  
@Nonnull is annotation with @Target(ElementType.TYPE), then that  
annotation cannot be applied to a method.

	Bill

On Jul 5, 2007, at 6:37 PM, Michael Ernst wrote:

> We have released new versions of the JSR 308 working document ("the
> proposal"), the JSR 308 prototype implementation ("the compiler"),  
> and the
> checkers framework ("the plug-ins").  You can find these at the JSR  
> 308
> webpage:  http://pag.csail.mit.edu/jsr308/
>
> Full changelogs are available for each of the three projects, but  
> here are
> some highlights.
>
> The proposal adds some ideas about arrays.
>
> The compiler is now based on OpenJDK 7.
>
> The checkers framework has many improvements, the nonnull checker is
> improved (for example, it is now flow-sensitive), and a second  
> checker, for
> the Javari "@Readonly" annotation, is distributed.
>
>                     -Michael Ernst
>                      mernst at csail.mit.edu
>
> _______________________________________________
> JSR308 mailing list
> JSR308 at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/jsr308