Release 1.7.5 of the Checker Framework and Type Annotations Compiler

[Jonathan Burke]

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

the Checker Framework, Annotation File Utilities, and the Eclipse plugin for 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.  

 *  The Annotation File Utilities extract annotations from, and write annotations 

   to, .java and .class files. 

 * 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 to the Checker Framework

Minor improvements to documentation and demos.
Support a few new units in the UnitsChecker.

Changes to the Type Annotations Compiler

No changes.


Annotation File Utilities

Expand scene-lib API with visitor framework and new class APIIndex, which 

provides a cache that maps Java abstract syntax tree nodes to AST paths 

as defined in the annotation file format specification.

[Trask Stalnaker]

1.7.5 is in maven central now:

http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.cs.types.checker%22

Thanks,

Trask