[JSR308] Release 0.8.9 of javac, Checker Framework, and checkers

Mahmood Ali mahmood at MIT.EDU
Sat Mar 28 06:44:36 EDT 2009

We have released version 0.8.9 of the JSR 308 specification and
implementation and of the Checker Framework.  You can always review
the latest version of the specification at: http://groups.csail.mit.edu/pag/jsr308/specification/java-annotation-design.html
; and download the latest version of these tools at:http://groups.csail.mit.edu/pag/jsr308/

The JSR 308 implementation is a backward-compatible extension to
javac. The Checker Framework makes it easy to write a tool that finds
or prevents errors; the tool is expressed as a type-checker for a
pluggable type system.  The Checker Framework distribution includes
sample checkers.

This release includes some space optimizations and many bug fixes  
related to conformance of classfile to specification and correctness  
of the flow sensitivity analysis.

The changlogs of the specification and the implementations appear below.

   - Mahmood

---- Changelog for JSR 308 implementation ----

Version 0.8.9, 28 Mar 2009

   support array class literals
   emit array type annotations to classfile
   validate type annotations on new array expressions
   reject annotations on static method receivers

Bug fixes:
   reject annotations on array access levels
   eliminate duplicate annotations description in classfile output
   minor issues with target_type and reference_info output

Base build
   Updated to OpenJDK langtools build b51

---- Changelog for Checker Framework ----

Version 0.8.9, 28 Mar 2009

   Introduce Space (and minor performance) optimizations
   Type-check constructor invocation receiver type
   Fixed bug related to try-catch flow sensitivity analysis
   Fixed bugs when type-checking annotations and enums
     - bug results in null-pointer exception

More information about the JSR308 mailing list