Release 1.3.1 of the Checker Framework and Type Annotations compiler
Werner Dietl
and the Checker Framework.
* The Type Annotations compiler supports the type annotation syntax that is
planned for a future version of the Java language.
* The Checker Framework lets you create and/or run pluggable type-checkers,
in order to detect and prevent bugs in your code.
You can find documentation and download links for these projects at:
http://types.cs.washington.edu/jsr308/
Changes for the Checker Framework
Version 1.3.1, 21 Jul 2012
Installation:
Clarify installation instructions for Windows. Remove javac.bat, which
worked for running distributed checkers but not for creating new checkers.
User-visible framework improvements:
Implement @PolyAll qualifier to vary over multiple type systems.
The Checker Framework is unsound due to Java's covariant array subtyping.
You can enable invariant array subtyping (for qualifiers only, not for
base Java types) with the command-line option -Alint:arrays:invariant.
This will become the default in the future.
Internal framework improvements:
Improve defaulting for multiple qualifier hierarchies.
Big refactoring of how qualifier hierarchies are built up.
Improvements to error handling output for unexpected exceptions.
Bug fixes and documentation improvements.
Changes for the Type Annotations Compiler
Version 1.3.1, 21 Jul 2012
Base build
Updated to OpenJDK 8 langtools as of 21 Jul 2012.