Checker Framework v2.5.7 Release Notes
Release Date: 2018-11-05 // over 5 years ago-
๐ 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