The Checker Framework now more precisely computes the type of a switch expression.
Implementation details:
The dataflow framework now analyzes switch expressions and switch statements that use the new -> case syntax. To do so, a new node, SwitchExpressionNode, was added.
The Checker Framework now runs on code that contains switch expressions and switch statements that use the new -> case syntax, but treats them conservatively. A future version will improve precision.
Implementation details:
The dataflow framework can be run on code that contains switch expressions and switch statements that use the new -> case syntax, but it does not yet analyze the cases in a switch expression and it treats -> as :. A future version will do so.
Removed methods and classes that have been deprecated for more than one year:
The Checker Framework runs under JDK 17 -- that is, it runs on a version 17 JVM. The Checker Framework also continues to run under JDK 8 and JDK 11. New command-line argument -ApermitUnsupportedJdkVersion lets you run the Checker Framework on any JDK (version 8 or greater) without a warning about an unsupported JDK version. The Checker Framework does not yet run on code that contains switch expressions.
The Checker Framework now more precisely computes the type of a switch expression.
Implementation details:
The dataflow framework now analyzes switch expressions and switch statements
that use the new -> case syntax. To do so, a new node, SwitchExpressionNode,
was added.
The Checker Framework now runs on code that contains switch expressions and
switch statements that use the new -> case syntax, but treats them
conservatively. A future version will improve precision.
Implementation details:
The dataflow framework can be run on code that contains switch expressions and
switch statements that use the new -> case syntax, but it does not yet
analyze the cases in a switch expression and it treats -> as :. A future
version will do so.
Removed methods and classes that have been deprecated for more than one year:
The Checker Framework runs under JDK 17 -- that is, it runs on a version 17 JVM.
The Checker Framework also continues to run under JDK 8 and JDK 11. New
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)
Bumps checker-qual from 3.5.0 to 3.21.0.
Release notes
Sourced from checker-qual's releases.
... (truncated)
Changelog
Sourced from checker-qual's changelog.
... (truncated)
Commits
2e12f3b
new release 3.21.08759973
Prep for release.cd9a2a3
JointJavacJavaParserVisitor now handles switch expressions (#4992)689b033
CheckerMain: don't crash on nonexistent directories (#4991)35f31b7
Dataflow: fall through never happens in switch rules. (#4984)946fc03
add note to documentation of Owning about why it is a declaration annotation,...dd9dde7
Remove SKIP-REQUIRE-JAVADOC0967219
Add support for switch expressions in dataflow (#4982)4a5a7d9
Use property for errorprone version number. (#4990)4bd99aa
Fix multiple case constants. (#4985)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)