« Changelog History


Checker Framework v2.7.0 Release Notes

Release Date: 2019-03-02 // about 5 years ago

  • 🔖 Version 2.7.0, March 1, 2019

    The manual links to the AWS crypto policy compliance checker, which enforces that no weak cipher algorithms are used with the Java crypto API.

    👍 The Nullness Checker supports RxJava annotations io.reactivex.annotations.NonNull and io.reactivex.annotations.Nullable.

    The checker-qual artifact (jar file) contains an OSGi manifest.

    🆕 New TYPE_DECLARATION enum constant in TypeUseLocation makes it possible to (for example) set defaults annotations for class/interface definitions.

    Interface changes:

    • 📇 Renamed the value element of the @HasSubsequence annotation to
      subsequence.
    • 📇 Renamed @PolySignedness to @PolySigned.
    • 📇 Renamed AnnotatedTypeFactory.ParameterizedMethodType to ParameterizedExecutableType.

    ➕ Added missing checks regarding annotations on classes, constructor declarations, and constructor invocations. You may see new warnings.

    Closed issues:
    788, 1751, 2147, 2163, 2186, 2235, 2243, 2263, 2264, 2286, 2302, 2326, 2327.