Checker Framework 3.41.0-eisop1
Version 3.41.0-eisop1 (December 5, 2023)
User-visible changes:
The Nullness Checker now warns about redundant null cases in switch statements and expressions when
using the -Alint=redundantNullComparison command-line argument.
Closed issues:
Version 3.41.0 (December 4, 2023)
User-visible changes:
New command-line options:
-AassumePureGetters: Unsoundly assume that every getter method is pure.
Implementation details:
Added method isDeterministic() to the AnnotationProvider interface.
CFAbstractValue#leastUpperBound and CFAbstractValue#widenUpperBound are now
final. Subclasses should override method CFAbstractValue#upperBound(V, TypeMirror, boolean) instead.
(EISOP note: typetools added the new method annotation org.checkerframework.dataflow.qual.AssertMethod
to treat such methods like assert statements. EISOP might change the implementation of this feature
in a future release.)
Closed issues:
typetools#1497, typetools#3345, typetools#6037, typetools#6204, typetools#6276, typetools#6282, typetools#6290, typetools#6296, typetools#6319, typetools#6327.