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

Mahmood Ali mahmood at MIT.EDU
Fri Jul 11 14:08:09 EDT 2008

We have released version 0.7.4 of the JSR 308 implementation and of  
the Checker Framework.  You can always 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 full support for type annotations in classfiles  
(Checker Framework honors annotations in classfiles), support for the  
ARRAY-IN array syntax convention in the framework, and additional  
check for the nullness of thrown exceptions/errors, among numerous bug  
fixes.  The changelogs appear below.

      - Mahmood

------------------ Changelog for JSR 308 implementation  
Version 0.7.4, 11 July 2008

Removed support for ARRAY-IN convention
   Moved to the Checker Framework

--------------------- Changelog for Checker Framework  
Version 0.7.4, 11 July 2008

   Added support for annotations found in classfiles
   Added support for the ARRAY-IN array syntax
   Added AnnotationBuilder, to create AnotationMirrors with values
   Improved the readability of recursive types string representation

Nullness Checker
   Added a check for thrown Throwable nullability

IGJ Checker
   Treat enums as mutable by default, like regular classes

   Added a new subsection about array syntax proposals:
     2.1.2 Annotating Arrays

More information about the JSR308 mailing list