Checker Framework 3.41.0
smillst
released this
04 Dec 17:52
·
221 commits
to master
since this release
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.
Closed issues:
#1497, #3345, #6037, #6204, #6276, #6282, #6290, #6296, #6319, #6327.