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

Internal framework improvements:

  Add shutdown hook mechanism and use it for -AresourceStats resource

    statistics flag.

  Add -AstubWarnIfNotFound and -AstubDebug options to improve

    warnings and debug information from the stub file parsing.

  Ignore case when comparing error suppression keys.

  Support the bottom type as subtype of any wildcard type.

Tool Integration Changes

  The maven plugin id has been changed to reflect standard maven

  naming conventions.

  Eclipse and Maven plugin version numbers will now track the

  checker-framework version numbers.

  

Bug fixes.

 

Changes for the Type Annotations Compiler

Several documentation improvements

No significant code changes