The Checker Framework runs on a version 21 JVM. It does not yet soundly check all new Java 21 language features, but it does not
crash when compiling them.
Implementation details:
Dataflow supports all the new Java 21 language features.
A new node,DeconstructorPatternNode, was added, so any implementation of NodeVisitor must be updated.
Method InstanceOfNode.getBindingVariable() is deprecated; use getPatternNode() or getBindingVariables() instead.
WPI uses 1-based indexing for formal parameters and arguments.
The Checker Framework runs on a version 21 JVM.
It does not yet soundly check all new Java 21 language features, but it does not
crash when compiling them.
Implementation details:
Dataflow supports all the new Java 21 language features.
A new node,DeconstructorPatternNode, was added, so any implementation of
NodeVisitor must be updated.
Method InstanceOfNode.getBindingVariable() is deprecated; use
getPatternNode() or getBindingVariables() instead.
WPI uses 1-based indexing for formal parameters and arguments.
The Checker Framework runs on a version 21 JVM. It does not yet soundly check all new Java 21 language features, but it does not
crash when compiling them.
Implementation details:
Dataflow supports all the new Java 21 language features.
A new node,DeconstructorPatternNode, was added, so any implementation of NodeVisitor must be updated.
Method InstanceOfNode.getBindingVariable() is deprecated; use getPatternNode() or getBindingVariables() instead.
WPI uses 1-based indexing for formal parameters and arguments.
The Checker Framework runs on a version 21 JVM.
It does not yet soundly check all new Java 21 language features, but it does not
crash when compiling them.
Implementation details:
Dataflow supports all the new Java 21 language features.
A new node,DeconstructorPatternNode, was added, so any implementation of
NodeVisitor must be updated.
Method InstanceOfNode.getBindingVariable() is deprecated; use
getPatternNode() or getBindingVariables() instead.
WPI uses 1-based indexing for formal parameters and arguments.
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 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)
Bumps
checkerFrameworkVersion
from 3.38.0 to 3.39.0. Updatesorg.checkerframework:checker
from 3.38.0 to 3.39.0Release notes
Sourced from org.checkerframework:checker's releases.
Changelog
Sourced from org.checkerframework:checker's changelog.
Commits
aff7e0a
new release 3.39.0c91dd48
Remove stuparser from release process.f79faef
Prep for release.18b9ec2
Implement new Java 21 features in dataflow (#6192)db0d3da
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.560 (#6213)a596305
Update dependency commons-io:commons-io to v2.14.0 (#6211)bfd6efc
Update plugin com.diffplug.spotless to v6.22.0 (#6212)4112174
Update dependency gradle to v8.4-rc-3 (#6206)7767b6b
Update manual with subsection for WPI results (#6209)e30dfd5
Avoid nullness errorsUpdates
org.checkerframework:checker-qual
from 3.38.0 to 3.39.0Release notes
Sourced from org.checkerframework:checker-qual's releases.
Changelog
Sourced from org.checkerframework:checker-qual's changelog.
Commits
aff7e0a
new release 3.39.0c91dd48
Remove stuparser from release process.f79faef
Prep for release.18b9ec2
Implement new Java 21 features in dataflow (#6192)db0d3da
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.560 (#6213)a596305
Update dependency commons-io:commons-io to v2.14.0 (#6211)bfd6efc
Update plugin com.diffplug.spotless to v6.22.0 (#6212)4112174
Update dependency gradle to v8.4-rc-3 (#6206)7767b6b
Update manual with subsection for WPI results (#6209)e30dfd5
Avoid nullness errorsDependabot 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