Sourced fromorg.checkerframework:checker-qual's releases.

Checker Framework 3.47.0

Version 3.47.0 (September 3, 2024)

User-visible changes:

The Checker Framework runs under JDK 22 -- that is, it runs on a version 22 JVM.The Checker Framework runs under JDK 23 -- that is, it runs on a version 23 JVM.

The Optional Checker no longer supports the@OptionalBottom annotation.

Implementation details:

Removed annotations:

• @OptionalBottom

Closed issues:

#6510,#6704,#6743,#6749,#6760,#6761.

Checker Framework 3.46.0

Version 3.46.0 (August 1, 2024)

User-visible changes:

Renamed@EnsuresCalledMethodsVarArgsto@EnsuresCalledMethodsVarargs.

Closed issues:

#4923,#6420,#6469,#6652,#6664.

Checker Framework 3.45.0

Version 3.45.0 (July 1, 2024)

Implementation details:

Added aTree argument toAnnotatedTypes.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)

... (truncated)

Sourced fromorg.checkerframework:checker-qual's changelog.

Version 3.47.0 (October 1, 2024)

User-visible changes:

Implementation details:

Closed issues:

Version 3.47.0 (September 3, 2024)

User-visible changes:

The Checker Framework runs under JDK 22 -- that is, it runs on a version 22 JVM.The Checker Framework runs under JDK 23 -- that is, it runs on a version 23 JVM.

The Optional Checker no longer supports the@OptionalBottom annotation.

Implementation details:

Removed annotations:

• @OptionalBottom

Closed issues:

#6510,#6704,#6743,#6749,#6760,#6761.

Version 3.46.0 (August 1, 2024)

User-visible changes:

Renamed@EnsuresCalledMethodsVarArgsto@EnsuresCalledMethodsVarargs.

Closed issues:

#4923,#6420,#6469,#6652,#6664.

Version 3.45.0 (July 1, 2024)

Implementation details:

Added aTree argument toAnnotatedTypes.adaptParameters()

Deprecated methods:

... (truncated)

• 2f788fe new release 3.47.0
• 2d0d20b Prep for release.
• 0aeb0a4 Removing the@OptionalBottom type and annotation (#6772)
• 87f9d44 Support Java 23
• c16094b RemoveresolveDependencies target (#6775)
• c27f651 Don't use/// comments, whose content must be Markdown in Java 23
• cb70fb7 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.770 (#6773)
• 07940f7 Update versions.errorprone to v2.31.0 (#6771)
• 7b2378e Support Java 22
• c5cc9d8 Update dependency io.github.classgraph:classgraph to v4.8.175 (#6766)
• Additional commits viewable incompare view

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)