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

Mahmood Ali mahmood at MIT.EDU
Fri Mar 13 15:39:12 EDT 2009

We have released version 0.8.8 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 improvements that reduce false positives:  
support for Collection.toArray(), support for custom nullness  
assertions, and improved flow.  This release also includes bug fixes  
for the compiler classfile output.

The changlogs of the specification and the implementations appear below.

Please note that last release wasn't pushed properly to the website,  
but now we've ensured the correctness of the release process. The  
changelog of the previous release is also attached below.

   - Mahmood

---- Changelog for Checker Framework ----
Version 0.8.8, 13 Mar 2009

Nullness Checker
   Support for custom nullness assertion via @AssertNonNull
   Support for meta-annotation AssertNonNull
   Support for Collection.toArray() method
     Infer the nullness of the returned type
   Corrected some JDK Collection API annotations

   Fixed bugs related to assignments expressions in Flow
   Fixed bugs related to enum and annotation type hierarchy
   Fixed bugs related to default annotations on wildcard bounds

Version 0.8.7, 27 Feb 2009

   Support annotations on type parameters
   Fixed bugs related to polymorphic types/annotations
   Fixed bugs related to stub fixes

---- Changelog for JSR 308 implementation ----
Version 0.8.8, 13 Mar 2009

   javap: output type annotation locations

Bug fixes
   javac: fixed errors related to emitting annotation info to classfile
     affected annotations on class type parameters and local variables

Base build
   Updated to OpenJDK langtools build b50

Version 0.8.7, 27 Feb 2009

   javac: support for ElementKind.TYPE_PARAMETER specification
   javac: emit annotations on local variables to classfile
   javac: support for annotations on wildcards

   javac: pass all regression tests
   javac: fix bugs related to invalid type annotations

Base build
   Updated to OpenJDK langtools build b49

More information about the JSR308 mailing list