Release 1.2.6 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.2.6, 18 Mar 2012
Nullness Checker:
Correctly handle unboxing in more contexts (if, switch (Issue 129),
while loops, ...)
Regex Checker:
Add capturing groups parameter to Regex qualifier.
Count groups in String literals and String concatenation.
Verify group number to method calls that take a capturing group
number.
Update RegexUtil methods to take optional groups parameter.
Modify regex qualifier hierarchy to support groups parameter.
Add special case for Pattern.compile when called with Pattern.LITERAL flag.
Internal bug fixes:
Improve flow's support of annotations with parameters.
Fix generics corner cases (Issues 131, 132, 133, 135).
Support type annotations in annotations and type check annotations.
Improve reflective look-up of visitors and factories.
Small cleanups.
Changes for the Type Annotations Compiler
Version 1.2.6, 18 Mar 2012
Use the newly added multiple task listeners.
Base build
Updated to OpenJDK 8 langtools as of 17 Mar 2012.