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

Mahmood Ali mahmood at MIT.EDU
Fri Jun 20 16:17:39 EDT 2008

We have released version 0.7.1 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 new instructions for using the checkers within  
Ant build files and Eclipse environment, includes new Eclipse plug-ins  
to use the checkers within Eclipse and to generate skeleton files from  
source, and includes many bug fixes and other enhancements.  The  
changelogs appear below.

    - Mahmood

------------------ Changelog for JSR 308 implementation  

Version 0.7.1, 20 June 2008

No changes in this release

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

Version 0.7.1, 20 June 2008

Nullness Checker
   Made NNEL the default qualifier scheme

Basic Checker
   Moved to its own checkers.basic package

   Enhanced type checking within qualifier-polymorphic method bodies
   Fixed a bug causing StackOverflowError when type-checking wildcards
   Fixed a bug causing a NullPointerException when type-checking
     compound assignments, in the form of +=

Class Skeleton Generator
   Distributed in compiled form (no more special installation  
   Added required asmx.jar library to lib/

   Added new sections
     2.2.1 Ant tasks
     2.2.2 Eclipse plugin
     2.6   The effective qualifier on a type
   Rewrote section 8 on annotating libraries
     Added reference to the new Eclipse plug-in
     Deleted installation instructions

Javari Checker
   Fixed bugs causing a NullPointerException when type-checking
     primitive arrays

IGJ Checker
   Fixed bugs related to uses of raw types

API Changes
   Moved AnnotationFactory functionality to AnnotationUtils
   Removed .root and .inConflict from DAGQualifierHierarchy

More information about the JSR308 mailing list