Release 1.8.2 of the Checker Framework and Type Annotations compiler

[Javier Thaine]

We have released a new version of the Type Annotations (JSR 308) compiler,

the Checker Framework, and the Eclipse plugin for the Checker Framework.

 

* The Type Annotations compiler supports type annotation syntax.

* The Checker Framework lets you create and/or run pluggable type checkers,

     in order to detect and prevent bugs in your code.

* The Eclipse plugin makes it more convenient to run the Checker Framework.

 

You can find documentation and download links for these projects at:

http://types.cs.washington.edu/jsr308/

 

Changes for the Checker Framework

Converted from using rt.jar to ct.sym for creating the annotated jdk.
Using the annotated jdk on the bootclasspath of a VM will cause the
vm to crash immediately.

The Lock Checker has been rewritten to support dataflow analysis.
It can now understand conditional expressions, for example, and
knows that "lock" is held in the body of statements like
"if (lock.tryLock()){ ... }"
The Lock Checker chapter in the manual has been updated accordingly
and describes the new Lock Checker features in detail.

Provided a javac_maven script (and batch file) to make it simpler
to use the Checker Framework from Maven.  The Maven plug-in is deprecated
and will be removed as of July 1, 2014. Added an explanation of how
to use the script in the Maven section of the manual.

The Checker Framework installation instructions in the manual have
been updated.

Fixes for Issues 312, 315, 316, 318, 319, 324, 326, 327.



Changes for the Type Annotations Compiler

Base build updated to OpenJDK 9 dev/langtools and type-annotations/langtools
as of 26 May 2014.