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

Mahmood Ali mahmood at MIT.EDU
Sat Aug 2 01:16:08 EDT 2008

We have released version 0.7.5 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 support for more array conventions (ARRAYS-PRE  
and ELTS-PRE), additional check for unsafe casts, additional check for  
nullness in case of (un)boxing conversions and synchronized objects,  
among some bug fixes and some API improvements.  The changelogs appear  

This release would be the last release to use the ELTS-IN syntax as  
default.  The following release would use ARRAYS-PRE as the default.   
Section 2.1.2 of the Manual describes the array conventions further.

     - Mahmood

------------------ Changelog for JSR 308 implementation  
Version 0.7.5, 2 Aug 2008

New features
   Added support for ARRAYS-PRE and ELTS-PRE array syntax

Base build
   Updated to OpenJDK langtools build b31

--------------------- Changelog for Checker Framework  
Version 0.7.5, 2 Aug 2008

   Added support for ARRAYS-PRE and ELTS-PRE array syntax
   Added a check for unsafe casts
   Some improvements to the AnnotationBuilder API

Nullness Checker
   Added a check for synchronized objects
   Added a check for (un)boxing conversions

Javari Checker
   Fixed some JDK annotated classes

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20080802/94309be7/attachment.htm 

More information about the JSR308 mailing list