[JSR308] Release 0.8.9 of javac, Checker Framework, and checkers
Mahmood Ali
mahmood at MIT.EDU
Sat Mar 28 06:44:36 EDT 2009
We have released version 0.8.9 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 some space optimizations and many bug fixes
related to conformance of classfile to specification and correctness
of the flow sensitivity analysis.
The changlogs of the specification and the implementations appear below.
- Mahmood
---- Changelog for JSR 308 implementation ----
Version 0.8.9, 28 Mar 2009
Functionality:
support array class literals
emit array type annotations to classfile
validate type annotations on new array expressions
reject annotations on static method receivers
Bug fixes:
reject annotations on array access levels
eliminate duplicate annotations description in classfile output
minor issues with target_type and reference_info output
Base build
Updated to OpenJDK langtools build b51
---- Changelog for Checker Framework ----
Version 0.8.9, 28 Mar 2009
Framework
Introduce Space (and minor performance) optimizations
Type-check constructor invocation receiver type
Fixed bug related to try-catch flow sensitivity analysis
Fixed bugs when type-checking annotations and enums
- bug results in null-pointer exception
More information about the JSR308
mailing list