Closed Picnic-DevPla-Bot closed 2 months ago
Suggested commit message:
Upgrade Checker Framework Annotations 3.43.0 -> 3.44.0 (#1207)
See:
- https://github.com/typetools/checker-framework/releases/tag/checker-framework-3.44.0
- https://github.com/typetools/checker-framework/compare/checker-framework-3.43.0...checker-framework-3.44.0
Issues
0 New issues
0 Accepted issues
Measures
0 Security Hotspots
No data about Coverage
0.0% Duplication on New Code
This PR contains the following updates:
3.43.0
->3.44.0
Release Notes
typetools/checker-framework (Checker Framework Annotations)
### [`v3.44.0`](https://togithub.com/typetools/checker-framework/releases/tag/checker-framework-3.44.0): Checker Framework 3.44.0 ## Version 3.44.0 (June 3, 2024) **Implementation details:** Removed methods: - `AbstractAnalysis.readFromStore()`: use `Map.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 now `final`. Subclasses should override `BaseTypeVisitor#processMethodTree(MethodTree)`. **Closed issues:** [#802](https://togithub.com/typetools/checker-framework/issues/802), [#2676](https://togithub.com/typetools/checker-framework/issues/2676), [#2780](https://togithub.com/typetools/checker-framework/issues/2780), [#2926](https://togithub.com/typetools/checker-framework/issues/2926), [#3378](https://togithub.com/typetools/checker-framework/issues/3378), [#3612](https://togithub.com/typetools/checker-framework/issues/3612), [#3764](https://togithub.com/typetools/checker-framework/issues/3764), [#4007](https://togithub.com/typetools/checker-framework/issues/4007), [#4964](https://togithub.com/typetools/checker-framework/issues/4964), [#5070](https://togithub.com/typetools/checker-framework/issues/5070), [#5176](https://togithub.com/typetools/checker-framework/issues/5176), [#5237](https://togithub.com/typetools/checker-framework/issues/5237), [#5541](https://togithub.com/typetools/checker-framework/issues/5541), [#6046](https://togithub.com/typetools/checker-framework/issues/6046), [#6382](https://togithub.com/typetools/checker-framework/issues/6382), [#6388](https://togithub.com/typetools/checker-framework/issues/6388), [#6566](https://togithub.com/typetools/checker-framework/issues/6566), [#6568](https://togithub.com/typetools/checker-framework/issues/6568), [#6570](https://togithub.com/typetools/checker-framework/issues/6570), [#6576](https://togithub.com/typetools/checker-framework/issues/6576), [#6577](https://togithub.com/typetools/checker-framework/issues/6577), [#6631](https://togithub.com/typetools/checker-framework/issues/6631), [#6635](https://togithub.com/typetools/checker-framework/issues/6635), [#6636](https://togithub.com/typetools/checker-framework/issues/6636), [#6644](https://togithub.com/typetools/checker-framework/issues/6644).