Bump org.checkerframework:checker-qual from 3.42.0 to 3.44.0

[dependabot]

Bumps org.checkerframework:checker-qual from 3.42.0 to 3.44.0.

Release notes

Sourced from org.checkerframework:checker-qual's releases.

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, #2676, #2780, #2926, #3378, #3612, #3764, #4007, #4964, #5070, #5176, #5237, #5541, #6046, #6382, #6388, #6566, #6568, #6570, #6576, #6577, #6631, #6635, #6636, #6644.

Checker Framework 3.43.0

Version 3.43.0 (May 1, 2024)

User-visible changes:

Method, constructor, lambda, and method reference type inference has been greatly improved. The -AconservativeUninferredTypeArguments option is no longer necessary and has been removed.

Renamed command-line arguments:

• -AskipDirs has been renamed to -AskipFiles. -AskipDirs will continue to work for the time being.

New command-line arguments:

• -AonlyFiles complements -AskipFiles

A specialized inference algorithm for the Resource Leak Checker runs automatically as part of whole-program inference.

Implementation details:

... (truncated)

Changelog

Sourced from org.checkerframework:checker-qual's changelog.

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, #2676, #2780, #2926, #3378, #3612, #3764, #4007, #4964, #5070, #5176, #5237, #5541, #6046, #6382, #6388, #6566, #6568, #6570, #6576, #6577, #6631, #6635, #6636, #6644.

Version 3.43.0 (May 1, 2024)

User-visible changes:

Method, constructor, lambda, and method reference type inference has been greatly improved. The -AconservativeUninferredTypeArguments option is no longer necessary and has been removed.

Renamed command-line arguments:

• -AskipDirs has been renamed to -AskipFiles. -AskipDirs will continue to work for the time being.

New command-line arguments:

• -AonlyFiles complements -AskipFiles

A specialized inference algorithm for the Resource Leak Checker runs

... (truncated)

Commits

• 9ae1463 new release 3.44.0
• a4a4232 Prep for release.
• cac43aa Use instantiation of inference variable. (#6638)
• 463c4eb Don't use -XDrawDiagnostics in testing framework (#6647)
• b188046 Don't use -XDrawDiagnostics in jtreg tests when it is not necessary (#6646)
• c85eb69 Preprocess unicode escapes when parsing using JavaParser (#6632)
• 959822a Update versions.autoValue to v1.11.0 (#6640)
• 869577b Update versions.errorprone to v2.28.0 (#6643)
• 8a25d99 Update dependency gradle to v8.8 (#6639)
• 9657f9f Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.734
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 94.82%. Comparing base (540e895) to head (af6bad4).

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #2800   +/-   ##
=========================================
  Coverage     94.82%   94.82%           
  Complexity      540      540           
=========================================
  Files            80       80           
  Lines          2106     2106           
  Branches        221      221           
=========================================
  Hits           1997     1997           
  Misses           60       60           
  Partials         49       49           

[dependabot]

Superseded by #2837.