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

Mahmood Ali mahmood at MIT.EDU
Mon Jul 13 10:29:26 EDT 2009

We have released version 0.9.5 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 changes: support for other tools nullness  
annotations, addition an aggregate checker for bundling checkers, and  
support for field access control.

The changlogs of the implementations appear below.

   - Mahmood

---- Changelog for Checker Framework ----
Version 0.9.5, 13 Jul 2009

   Added support for Findbugs, JSR305, and IntelliJ nullness annotations
   Added an Aggregate Checker base-class
   Added support for a form of field access control

Bug fixes
   Added check for arguments in super() calls in constructors

   Added new sections:
     Fields access control
     Other tools for nullness checking
     Bundling multiple checkers

---- Changelog for JSR 308 implementation ----
Version 0.9.5, 13 Jul 2009

Base build
   Updated to OpenJDK langtools build b63

More information about the JSR308 mailing list