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

Mahmood Ali mahmood at MIT.EDU
Wed Dec 17 19:00:23 EST 2008

We have released version 0.8.4 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 support for ElementType.TYPE_USE, and many bug
fixes to the compiler and the checker framework.

The changlogs of the specification and the implementations appear below.

    - Mahmood

---- Changelog for JSR 308 implementation ----
Version 0.8.4, 17 Dec 2008

   Added support for TYPE_USE annotation target

Bug fixes
   javac rejects more some invalid type annotations
     - e.g annotations with missing or repeated member values
   javac and other programs properly handle filenames containing spaces

   Added compiler tests for jsr308 implementation

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

Version 0.8.4, 17 Dec 2008

   Included checkers-quals.jar which contains the qualifiers only

   Fixed bugs related to inner classes
   Fixed a bug related to resolving polymorphic qualifiers
     within static methods

   Added 'Distributing your annotated project'

More information about the JSR308 mailing list