[JSR308] JavaOne 0.9.2 release of javac, Checker Framework, and checkers

Mahmood Ali mahmood at MIT.EDU
Tue Jun 2 08:31:19 EDT 2009

We have released version 0.9.2 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 many documentation improvement and some bug  
fixes to the checker framework.

The changelogs of the implementations appear below.

   - Mahmood

---- Changelog for JSR 308 implementation ----
Version 0.9.2, 2 Jun 2009

Base build
   Using	JavaOne	preview	build b59

---- Changelog for Checker Framework ----
Version 0.9.2, 2 Jun 2009

   Added pre-liminary support for lazy initialization in nullness
     see LazyNonNull

Bug fixes
   Corrected method declarations in JDK skeleton files
     - bug resulted in a runtime error

   Updated qualifier javadoc documentations
   Corrected a reference on passing qualifiers to javac

More information about the JSR308 mailing list