Release 1.8.9 of the Checker Framework and Type Annotations compiler

4 views

Skip to first unread message

unread,

Dec 19, 2014, 9:52:32 PM12/19/14

to jsr308-...@googlegroups.com, checker-fram...@googlegroups.com

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:

Changes to the Checker Framework

Aliasing Checker:

This new type-checker ensures that an expression has no aliases.

Fixed issues: 362, 380, 382.

Changes to the Type Annotations Compiler

Base build

Updated to OpenJDK jdk8u-dev/langtools as of 14 Dec 2014.

Reply all

Reply to author

Forward

0 new messages