Version 1.9.10, 4 January 2016
The Checker Framework distribution files now contain a version number: for example, checker-framework-1.9.9.zip rather than checker-framework.zip.
Nullness Checker supports org.eclipse.jgit.annotations.Nullable and NonNull annotations.
Buildfiles do less unnecessary recomputation.
Documentation:
- Documented how to initialize circular data structures in the Initialization type system.
- Linked to David Bürgin's Nullness Checker tutorial at https://github.com/glts/safer-spring-petclinic/wiki
- Acknowledged more contributors in the manual.
For type-system developers:
- The org.checkerframework.framework.qual.TypeQualifier{s} annotations are now deprecated. To indicate which annotations a checker supports, see http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#indicating-supported-annotations .
Support for TypeQualifier{s} will be removed in the next release. - Renamed org.checkerframework.framework.qual.Default{,Qualifier}ForUnannotatedCode to DefaultInUncheckedCodeFor and DefaultQualifierInHierarchyInUncheckedCode.
Closed issues: 169, 363, 448, 478, 496, 516, 529.