Release 1.8.5 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

 

Eclipse Plugin:

All checkers in the Checker Framework manual now appear in the

Eclipse plugin by default.  Users no longer have to include

checker.jar on their classpath to run any of the built-in checkers.

 

Improved Java 7 compatibility and introduced Java 7 compliant

annotations for the Nullness Checker.  Please see the section on

Class-file compatibility with Java 7 in the manual for more details.

 

Fixed Issue 347.

 

 

Changes for the Type Annotations Compiler

 

Change default target version to 8.

Allow type annotations in source versions 6 and 7 only if they appear

in annotation comments.

To obtain a strictly standard Java 8 compiler, provide

the -XDTA:noannotationsincomments option.

Read type annotations out of version 6 bytecode in addition to

previously-existing support for version 7 and version 8 bytecode. This

fixes Issues 54 and 55.