cli-java is a collection of commandline messaging clients suitable for interacting with Message Oriented Middleware such as ActiveMQ Artemis broker or Qpid Dispatch router.
Apache License 2.0
8
stars
7
forks
source link
Bump org.checkerframework:checker-qual from 3.37.0 to 3.39.0 #667
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)
dependabot[bot]
commented
1 year ago
Bumps org.checkerframework:checker-qual from 3.37.0 to 3.39.0.
Release notes
Sourced from org.checkerframework:checker-qual's releases.
Changelog
Sourced from org.checkerframework:checker-qual's changelog.
Commits
aff7e0anew release 3.39.0c91dd48Remove stuparser from release process.f79faefPrep for release.18b9ec2Implement new Java 21 features in dataflow (#6192)db0d3daUpdate dependency com.amazonaws:aws-java-sdk-bom to v1.12.560 (#6213)a596305Update dependency commons-io:commons-io to v2.14.0 (#6211)bfd6efcUpdate plugin com.diffplug.spotless to v6.22.0 (#6212)4112174Update dependency gradle to v8.4-rc-3 (#6206)7767b6bUpdate manual with subsection for WPI results (#6209)e30dfd5Avoid 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