[JSR308] Release 0.9.7 of javac, Checker Framework, and checkers

Mahmood Ali mahmood at MIT.EDU
Wed Aug 12 16:29:45 EDT 2009

** Please notice the update links **

We have released version 0.9.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://types.cs.washington.edu/jsr308/specification/java-annotation-design.html
; and download the latest version of these tools at:http://types.cs.washington.edu/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 some bug fixes and flow improvements.  It also  
includes one
incompatible change: Nullness checker now only take asserts statements  
with the string "nullness" in their message into account.

The changlogs of the implementations appear below.

   - Mahmood

---- Changelog for Checker Framework ----
Version 0.9.7, 12 Aug 2009

   Changed swNonNull to castNonNull
   nullness: Improved flow to infer nullness based on method invocations
   nullness: Changed flow to require 'nullness' expression in the cast  
message to suppress errors
   locking: Permitted @Holding to appear on constructors

   Updated section 3.4 Suppressing warnings with assertions and method  

Bug fixes
   Fixed a bug related to typevar and wildcard extends clauses

---- Changelog for JSR 308 implementation ----
Version 0.9.7, 12 Aug 2009

Bug fixes
   Fixed a javac crash when using -sourcepath

Base build
   Updated to OpenJDK langtools build b68

More information about the JSR308 mailing list