Release 1.4.3 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, 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 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/

Notable changes include:

Changes for the Checker Framework

Clarify license:

  The Checker Framework is licensed under the GPL2.  More permissive

    licenses apply to annotations, tool plugins (Maven, Eclipse),

    external libraries included with the Checker Framework, and examples in

    the Checker Framework manual.

  Replaced all third-party annotations by cleanroom implementations, to

    avoid any potential problems or confusion with licensing.

Aliased annotations:

  Clarified that there is no need to rewrite your program.  The Checker

    Framework recognizes dozens of annotations used by other tools.

Improved documentation of Units Checker and Gradle Integration.

Improved developer documentation of Eclipse and Maven plugins.

Bug fixes.

 

Changes for the Type Annotations Compiler

No Significant Changes