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