Sourced from org.checkerframework:checker-qual's releases.
Checker Framework 3.41.0
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 theAnnotationProvider
interface.
CFAbstractValue#leastUpperBound
andCFAbstractValue#widenUpperBound
are now final. Subclasses should override methodCFAbstractValue#upperBound(V, TypeMirror, boolean)
instead.Closed issues:
#1497, #3345, #6037, #6204, #6276, #6282, #6290, #6296, #6319, #6327.
Sourced from org.checkerframework:checker-qual's changelog.
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 theAnnotationProvider
interface.
CFAbstractValue#leastUpperBound
andCFAbstractValue#widenUpperBound
are now final. Subclasses should override methodCFAbstractValue#upperBound(V, TypeMirror, boolean)
instead.Closed issues:
#1497, #3345, #6037, #6204, #6276, #6282, #6290, #6296, #6319, #6327.
df9b135
new release 3.41.02f4073a
Prep for release.19ae530
Transfer function documentation (#6333)116b265
Update plugin com.diffplug.spotless to v6.23.3f80af83
Use Error Prone 2.23.0 (suppress warning)918fa9e
Don't compute element unless necessaryd146eea
Update dependency io.github.classgraph:classgraph to v4.8.165 (#6331)98da4e5
Remove a project43db447
Add a new method to handle annotations not on the classpath3bca5e2
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.603 (#6328)