Bump the checker-framework group across 1 directory with 2 updates

[dependabot]

Bumps the checker-framework group with 2 updates in the / directory: org.checkerframework:checker-qual and org.checkerframework:checker.

Updates org.checkerframework:checker-qual from 3.42.0 to 3.45.0

Release notes

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

Checker Framework 3.45.0

Version 3.45.0 (July 1, 2024)

Implementation details:

Added a Tree argument to AnnotatedTypes.adaptParameters()

Deprecated methods:

• TreeUtils.isVarArgs() => isVarargsCall()
• TreeUtils.isVarArgMethodCall() => isVarargsCall()

Closed issues:

#152, #5575, #6630, #6641, #6648, #6676.

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)

... (truncated)

Changelog

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

Version 3.45.0 (July 1, 2024)

Implementation details:

Added a Tree argument to AnnotatedTypes.adaptParameters()

Deprecated methods:

• TreeUtils.isVarArgs() => isVarargsCall()
• TreeUtils.isVarArgMethodCall() => isVarargsCall()

Closed issues:

#152, #5575, #6630, #6641, #6648, #6676.

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)

... (truncated)

Commits

• 9723ea7 new release 3.45.0
• 83a8a55 Update for release.
• 8d50b59 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.753 (#6690)
• e3a0b54 Update dependency org.projectlombok:lombok to v1.18.34 (#6689)
• 71f21f1 Update to Stubparser version 3.26.1
• 6147c82 Remove references to the defunct Object Construction Checker
• 936a6d0 Fix typo
• 4b236c1 Project: replace JavaParser by javac (#6678)
• 6cc0cd3 Non-Empty Checker (#6679)
• 5c98838 Add a complete example of a resource wrapper type to the manual (#6680)
• Additional commits viewable in compare view

Updates org.checkerframework:checker from 3.42.0 to 3.45.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 3.45.0

Version 3.45.0 (July 1, 2024)

Implementation details:

Added a Tree argument to AnnotatedTypes.adaptParameters()

Deprecated methods:

• TreeUtils.isVarArgs() => isVarargsCall()
• TreeUtils.isVarArgMethodCall() => isVarargsCall()

Closed issues:

#152, #5575, #6630, #6641, #6648, #6676.

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)

... (truncated)

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 3.45.0 (July 1, 2024)

Implementation details:

Added a Tree argument to AnnotatedTypes.adaptParameters()

Deprecated methods:

• TreeUtils.isVarArgs() => isVarargsCall()
• TreeUtils.isVarArgMethodCall() => isVarargsCall()

Closed issues:

#152, #5575, #6630, #6641, #6648, #6676.

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)

... (truncated)

Commits

• 9723ea7 new release 3.45.0
• 83a8a55 Update for release.
• 8d50b59 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.753 (#6690)
• e3a0b54 Update dependency org.projectlombok:lombok to v1.18.34 (#6689)
• 71f21f1 Update to Stubparser version 3.26.1
• 6147c82 Remove references to the defunct Object Construction Checker
• 936a6d0 Fix typo
• 4b236c1 Project: replace JavaParser by javac (#6678)
• 6cc0cd3 Non-Empty Checker (#6679)
• 5c98838 Add a complete example of a resource wrapper type to the manual (#6680)
• Additional commits viewable in compare view

Updates org.checkerframework:checker from 3.42.0 to 3.45.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 3.45.0

Version 3.45.0 (July 1, 2024)

Implementation details:

Added a Tree argument to AnnotatedTypes.adaptParameters()

Deprecated methods:

• TreeUtils.isVarArgs() => isVarargsCall()
• TreeUtils.isVarArgMethodCall() => isVarargsCall()

Closed issues:

#152, #5575, #6630, #6641, #6648, #6676.

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)

... (truncated)

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 3.45.0 (July 1, 2024)

Implementation details:

Added a Tree argument to AnnotatedTypes.adaptParameters()

Deprecated methods:

• TreeUtils.isVarArgs() => isVarargsCall()
• TreeUtils.isVarArgMethodCall() => isVarargsCall()

Closed issues:

#152, #5575, #6630, #6641, #6648, #6676.

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)

... (truncated)

Commits

• 9723ea7 new release 3.45.0
• 83a8a55 Update for release.
• 8d50b59 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.753 (#6690)
• e3a0b54 Update dependency org.projectlombok:lombok to v1.18.34 (#6689)
• 71f21f1 Update to Stubparser version 3.26.1
• 6147c82 Remove references to the defunct Object Construction Checker
• 936a6d0 Fix typo
• 4b236c1 Project: replace JavaParser by javac (#6678)
• 6cc0cd3 Non-Empty Checker (#6679)
• 5c98838 Add a complete example of a resource wrapper type to the manual (#6680)
• 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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

[github-actions]

Test Results

     99 files  ±0       99 suites  ±0   5m 28s ⏱️ -9s
242 302 tests ±0  242 301 ✅ ±0  1 💤 ±0  0 ❌ ±0 
726 993 runs  ±0  726 990 ✅ ±0  3 💤 ±0  0 ❌ ±0 

Results for commit 0a54169. ± Comparison against base commit 004f2e1.

[dependabot]

Superseded by #263.