Release 1.2.5 of the Checker Framework and Type Annotations compiler
Werner Dietl
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.5, 3 Feb 2012
Don't put classpath on the bootclasspath when invoking javac. This
prevents problems if, for example, android.jar is on the classpath.
New -jsr308_imports ... and -Djsr308.imports=... command-line options, for
specifying implicit imports from the command line. This is needed by Maven.
New -Aignorejdkastub option makes the checker not load the jdk.astub
file. Files from the "stubs" option are still loaded.
Regex Checker:
Support concatenation of PolyRegex strings.
Improve examples of use of RegexUtil methods.
Signature Checker:
Add new @ClassGetName annotation, for a 4th string representation of a
class that is used by the JDK. Add supporting annotations to make the
type hierarchy a complete lattice).
Add PolySignature annotation.
Internal bug fixes:
Improve method type argument inference.
Handle type variables whose upper bound is a type variable.
Fix bug in least upper bound computation for anonymous classes.
Improve handling of annotations inherited from superclasses.
Fix design problem with Nullness Checker and primitive types.
Ensure that overriding methods respect pre- and postconditions.
Correctly resolve references to an enclosing this.
Improve handling of Java source that contains compilation errors.
Changes for the Type Annotations Compiler
Version 1.2.5, 3 Feb 2012
Base build
Updated to OpenJDK 8 langtools as of 2 Feb 2012.