Checker Framework 2.5.7

Version 2.5.7, November 4, 2018

New @EnsuresKeyFor and @EnsuresKeyForIf method annotations permit specifying the postcondition that a method gives some value a @KeyFor type.

The manual links to the Rx Thread & Effect Checker, which enforces UI Thread safety properties for stream-based Android applications.

Closed issues:
1014, 2151, 2178, 2180, 2183, 2188, 2190, 2195, 2196, 2198, 2199

Checker Framework 2.5.6

Version 2.5.6, October 3, 2018

Introduce checker-qual-android artifact that is just like the checker-qual artifact, but the qualifiers have classfile retention. This is useful for Android projects.

Removed the code for the checker-compat-qual artifact. It was only useful for Java 7, which the Checker Framework no longer supports. The checker-compat-qual artifact remains available on Maven Central, with versions 2.5.5 and earlier.

Closed issues:

2135, 2157, 2158, 2164, 2171.

Checker Framework 2.5.5

Version 2.5.5, August 30, 2018

Implicit imports (deprecated in November 2014) are no longer supported.

Renamed the testlib Maven artifact to framework-test.

Removed command-line option -AprintErrorStack, which is now the default.
Added -AnoPrintErrorStack to disable it (which should be rare).

Replaced ErrorReporter class with BugInCF and UserError exceptions.

Closed issues:

1999, 2008, 2023, 2029, 2074, 2088, 2098, 2099, 2102, 2107.

Checker Framework 2.5.4

Version 2.5.4, August 1, 2018

Closed issues:

2030, 2048, 2052, 2059, 2065, 2067, 2073, 2082.

Checker Framework 2.5.3

Version 2.5.3, July 2, 2018

Closed issues:

266, 1248, 1678, 2010, 2011, 2018, 2020, 2046, 2047, 2054.

Checker Framework 2.5.2

Version 2.5.2, June 1, 2018

In the Map Key Checker, null is now @UnknownKeyFor. See the "Map Key Checker" chapter in the manual for more details.

Closed issues:

370, 469, 1701, 1916, 1922, 1959, 1976, 1978, 1981, 1983, 1984, 1991, 1992.

Checker Framework 2.5.1

Version 2.5.1, May 1, 2018

Added a Maven artifact of the Checker Framework testing library, testlib.

Closed issues:

849, 1739, 1838, 1847, 1890, 1901, 1911, 1912, 1913, 1934, 1936, 1941, 1942, 1945, 1946, 1948, 1949, 1952, 1953, 1956, 1958.

Checker Framework 2.5.0

Version 2.5.0, April 2, 2018

Declaration annotations that are aliases for type annotations are now treated as if they apply to the top-level type. See "Declaration annotations" section in the "Warnings" chapter in the manual for more details.

Ended support for annotations in comments. See "Migrating away from annotations in comments" section in the "Handling legacy code" chapter in the manual for instructions on how to remove annotations from comments.

Closed issues:

515, 1667, 1739, 1776, 1819, 1863, 1864, 1865, 1866, 1867, 1870, 1876, 1879, 1882, 1898, 1903, 1905, 1906, 1910, 1914, 1915, 1920.

Checker Framework 2.4.0

Version 2.4.0, March 1, 2018

Added the Index Checker, which eliminates ArrayIndexOutOfBoundsException.

Added the Optional Checker, which verifies uses of Java 8's Optional class.

Removed the Linear Checker, whose implementation was inconsistent with its
documentation.

Added a @QualifierArgument annotation to be used on pre- and postcondition annotations created by @PreconditionAnnotation, @PostconditionAnnotation, and @ConditionalPostconditionAnnotation. This allows qualifiers with arguments to be used in pre- and postconditions.

Added new type @InternalFormForNonArray to the Signature Checker

Moved annotated libraries from checker/lib/*.jar to the Central Repository:
https://search.maven.org/#search%7Cga%7C1%7Cg%3A%22org.checkerframework.annotatedlib%22

Moved the Javadoc stub file from checker/lib/javadoc.astub to
checker/resources/javadoc.astub.

Simplified the instructions for running the Checker Framework with Gradle.

The Checker Framework Eclipse plugin is no longer released nor supported.

Closed issues:

65, 66, 100, 108, 175, 184, 190, 194, 209, 239, 260, 270, 274, 293, 302, 303, 306, 321, 325, 341, 356, 360, 361, 371, 383, 385, 391, 397, 398, 410, 423, 424, 431, 430, 432, 548, 1131, 1148, 1213, 1455, 1504, 1642, 1685, 1770, 1796, 1797, 1801, 1809, 1810, 1815, 1817, 1818, 1823, 1831, 1837, 1839, 1850, 1851, 1852, 1861.

Checker Framework 2.3.2

Version 2.3.2, February 1, 2018

Closed issues:

946, 1133, 1232, 1319, 1625, 1633, 1696, 1709, 1712, 1734, 1738, 1749, 1754, 1760, 1761, 1768, 1769, 1781.