Upgrade Checker Framework Annotations 3.43.0 -> 3.44.0 #1207
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR contains the following updates:
3.43.0
->3.44.0
Release Notes
typetools/checker-framework (Checker Framework Annotations)
v3.44.0
: Checker Framework 3.44.0Version 3.44.0 (June 3, 2024)
Implementation details:
Removed methods:
AbstractAnalysis.readFromStore()
: useMap.get()
Renamed methods:
CFAbstractStore.methodValues()
=>methodCallExpressions()
AbstractCFGVisualizer.format()
=>escapeString()
Renamed fields:
AnalysisResult.stores
=>inputs
Deprecated methods:
AbstractAnalysis.getContainingMethod()
=>getEnclosingMethod()
AbstractAnalysis.getContainingClass()
=>getEnclosingMethod()
ControlFlowGraph.getContainingMethod()
=>getEnclosingMethod()
ControlFlowGraph.getContainingClass()
=>getEnclosingClass()
JavaExpression.isUnassignableByOtherCode()
=>isAssignableByOtherCode()
JavaExpression.isUnmodifiableByOtherCode()
=>isModifiableByOtherCode()
BaseTypeVisitor#visitMethod(MethodTree, Void)
is nowfinal
.Subclasses should override
BaseTypeVisitor#processMethodTree(MethodTree)
.Closed issues:
#802, #2676, #2780, #2926, #3378, #3612, #3764, #4007, #4964, #5070, #5176, #5237, #5541, #6046, #6382, #6388, #6566, #6568, #6570, #6576, #6577, #6631, #6635, #6636, #6644.