github typetools/checker-framework checker-framework-3.0.1
Checker Framework 3.0.1

latest releases: checker-framework-3.52.1, checker-framework-3.52.0, checker-framework-3.51.1...
6 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.

Don't miss a new checker-framework release

NewReleases is sending notifications on new releases.