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

Mahmood Ali mahmood at MIT.EDU
Tue Jun 23 13:35:25 EDT 2009

We have released version 0.9.3 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 bug fixes and documentation improvements,  
it includes an improved flow to handle boolean logic and nullness, it  
also includes support for dependent qualified types.

The changlogs of the implementations appear below.

   - Mahmood

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

Version 0.9.3, 23 Jun 2009

   Added support DefaultQualifier on packages
   Added support for Dependent qualifier types
     see checkers.quals.Dependent
   Added an option to treat checker errors as warnings
   Improved flow handling of boolean logic

Manual Documentations
   Improved installation instructions
   Improved discussion of effective and implicit qualifiers and defaults
   Added a discussion about the need for bottom qualifiers
   Added sections for how-to
     . suppress basic checker warnings
     . troubleshoot skeleton files

---- Changelog for JSR 308 implementation ----
Version 0.9.3, 23 Jun 2009

Bug fixes
   Fixed a bug related to exposing package annotation to type checkers

Base build
   Updated to OpenJDK langtools build 61

More information about the JSR308 mailing list