« Changelog History


Checker Framework v3.0.1 Release Notes

Release Date: 2019-12-02 // over 4 years ago

  • 🔖 Version 3.0.1, December 2, 2019

    🆕 New command-line option for the Constant Value Checker -AnoNullStringsConcatenation unsoundly assumes that every operand of a String concatenation is non-null.

    Implementation details:

    • 🚚 Moved AnnotatedTypes#hasTypeQualifierElementTypes to AnnotationUtils.
    • 🗄 Deprecated AnnotatedTypes#isTypeAnnotation and AnnotatedTypes#hasTypeQualifierElementTypes.

    Closed issues:

    945, 1224, 2024, 2744, 2809, 2815, 2818, 2830, 2840, 2853, 2854, 2865, 2873, 2874, 2878, 2880, 2886, 2888, 2900, 2905, 2919, 2923.