« Changelog History


Checker Framework v3.0.0 Release Notes

Release Date: 2019-11-01 // over 4 years ago

  • 🔖 Version 3.0.0, November 1, 2019

    The Checker Framework works on both JDK 8 and JDK 11.

    • Type annotations for JDK 8 remain in jdk8.jar.
    • Type annotations for JDK 11 appear in stub files in checker.jar.

    ✂ Removed the @PolyAll annotation.

    Implementation details:

    • ✂ Removed all previously deprecated methods.
    • AnnotatedTypeFactory#getFnInterfaceFromTree now returns an AnnotatedExecutableType.
    • AnnotationUtils#areSame and #areSameByName now only accept non-null AnnotationMirrors

    Closed issues:
    1169, 1654, 2081, 2703, 2739, 2749, 2779, 2781, 2798, 2820, 2824, 2829, 2842, 2845, 2848.