Bump checker-qual from 2.5.2 to 3.30.0

[dependabot[bot]]

Bumps checker-qual from 2.5.2 to 3.30.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.30.0

Version 3.30.0 (February 2, 2023)

Implementation details:

getQualifierKind() throws an exception rather than returning null.

Renamed gradle task copyJarsToDist to assembleForJavac.

Closed issues: #5402, #5486, #5489, #5519, #5524, #5526.

Checker Framework 3.29.0

Version 3.29.0 (January 5, 2023)

User-visible changes:

Dropped support for -ApermitUnsupportedJdkVersion command-line argument. You can now run the Checker Framework under any JDK version, without a warning.

Pass -Astubs=permit-nullness-assertion-exception.astub to not be warned about null pointer exceptions within nullness assertion methods like Objects.requireNonNull.

Pass -Astubs=sometimes-nullable.astub to unsoundly permit passing null to calls if null is sometimes but not always permitted.

Closed issues:

#5412, #5431, #5435, #5438, #5447, #5450, #5453, #5471, #5472, #5487.

Checker Framework 3.28.0

Version 3.28.0 (December 1, 2022)

User-visible changes:

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

Implementation details:

Renamed TryFinallyScopeCell to LabelCell.

Renamed TreeUtils.isEnumSuper to isEnumSuperCall.

Closed issues:

#5390, #5399, #5390.

Checker Framework 3.27.0

Version 3.27.0 (November 1, 2022)

... (truncated)

Changelog

Sourced from checker-qual's changelog.

Version 3.30.0 (February 2, 2023)

Implementation details:

getQualifierKind() throws an exception rather than returning null.

Renamed gradle task copyJarsToDist to assembleForJavac.

Closed issues: #5402, #5486, #5489, #5519, #5524, #5526.

Version 3.29.0 (January 5, 2023)

User-visible changes:

Dropped support for -ApermitUnsupportedJdkVersion command-line argument. You can now run the Checker Framework under any JDK version, without a warning.

Pass -Astubs=permit-nullness-assertion-exception.astub to not be warned about null pointer exceptions within nullness assertion methods like Objects.requireNonNull.

Pass -Astubs=sometimes-nullable.astub to unsoundly permit passing null to calls if null is sometimes but not always permitted.

Closed issues:

#5412, #5431, #5435, #5438, #5447, #5450, #5453, #5471, #5472, #5487.

Version 3.28.0 (December 1, 2022)

User-visible changes:

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

Implementation details:

Renamed TryFinallyScopeCell to LabelCell.

Renamed TreeUtils.isEnumSuper to isEnumSuperCall.

Closed issues:

#5390, #5399, #5390.

... (truncated)

Commits

• aa5b3f9 new release 3.30.0
• e7ddbfe Update release date.
• eb0592f Improve reformatting of Javadoc links (#5606)
• c18e90b Remove unneeded addTypeAnnotation() in build.gradle (#5603)
• a8826dd Update format of manual Javadoc links. (#5605)
• 1cb79f2 Prep for 3.30.0 release.
• 1a24308 Use Java 17 when releasing the Checker Framework
• 364c58a Reinstate dependencies
• 7b1b095 Use lastest stubparser version
• 7a2f27a Don't call isDeclaration twice
• 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 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)

[dependabot[bot]]

Superseded by #84.

[dependabot[bot]]

Superseded by #85.