[JSR308] Release 0.8.6 of JSR 308 javac, Checker Framework, and checkers

Mahmood Ali mahmood at MIT.EDU
Tue Feb 3 17:36:40 EST 2009

We have released version 0.8.6 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 enhancements to the flow sensitive  
analysis, enhanced support for annotations targeting wildcard bounds,  
javap support for type annotations, improved declaratie syntax for  
string literal type introduction rules, and enhanced support for stub  
file directories, among other bug fixes.

The changlogs of the specification and the implementations appear below.

   - Mahmood

---- Changelog for JSR 308 implementation ----
Version 0.8.6, 3 Feb 2009

   javap support type annotations classfiles
   javac support for wildcard annotations

Base build
   Updated to OpenJDK langtools build b45

---- Changelog for Checker Framework ----
Version 0.8.6, 3 Feb 2009

   Fixed bugs related to flow sensitivity analysis related to
     . for loop and do while loops
     . multiple runs of a loop
     . complement of logical conditions
   Declarative syntax for string literal type introduction rules
   Support for specifying stub file directories

More information about the JSR308 mailing list