Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Jun 2, 2021

Bumps checker-qual from 3.13.0 to 3.14.0.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.14.0

Version 3.14.0 (June 1, 2021)

User-visible changes:

The Units Checker supports new qualifiers (thanks to Rene Kraneis):

  • @Volume, @m3, @mm3, @km3
  • @Force, @N, @kN
  • @t (metric ton, a unit of mass)

Stub files can now override declaration annotations in the annotated JDK. Previously, stub files only overrode type annotations in the annotated JDK.

Command-line argument -AstubWarnIfNotFound is treated as true for stub files provided on the command line.

Implementation details:

Method SourceChecker.getProperties takes a third formal parameter permitNonExisting.

Method TreeUtils.getMethodName() returns a String rather than a Name.

Removed CheckerDevelMain.

Closed issues: #3993, #4116, #4586, #4598, #4612, #4614.

Changelog

Sourced from checker-qual's changelog.

Version 3.14.0 (June 1, 2021)

User-visible changes:

The Units Checker supports new qualifiers (thanks to Rene Kraneis):

  • @Volume, @m3, @mm3, @km3
  • @Force, @N, @kN
  • @t (metric ton, a unit of mass)

Stub files can now override declaration annotations in the annotated JDK. Previously, stub files only overrode type annotations in the annotated JDK.

Command-line argument -AstubWarnIfNotFound is treated as true for stub files provided on the command line.

Implementation details:

Method SourceChecker.getProperties takes a third formal parameter permitNonExisting.

Method TreeUtils.getMethodName() returns a String rather than a Name.

Removed CheckerDevelMain.

Closed issues: #3993, #4116, #4586, #4598, #4612, #4614.

Commits
  • c1b8d7d new release 3.14.0
  • cd107d6 Can't link private fields.
  • a0c837f Update for release.
  • 36162c1 Bump classgraph from 4.8.105 to 4.8.106
  • 092b196 Update links for SCJ Checker
  • 1e93a51 Update GitHub URLs for Project Lombok
  • 061fb74 Update the dataflow manual section about shading. (#4681)
  • 3c53b39 remove unnecessary warning suppression
  • e3bc666 Infer CalledMethods annotations on exceptional paths (#4683)
  • 0085ce5 Rename -AnoAccumulationFrames to -AnoCreatesObligation (#4686)
  • Additional commits viewable in compare view

Dependabot compatibility score

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](https://github.com/typetools/checker-framework) from 3.13.0 to 3.14.0.
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](typetools/checker-framework@checker-framework-3.13.0...checker-framework-3.14.0)

---
updated-dependencies:
- dependency-name: org.checkerframework:checker-qual
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label Jun 2, 2021
@sgdc3 sgdc3 merged commit 1363b4a into master Jun 7, 2021
@dependabot dependabot bot deleted the dependabot/maven/org.checkerframework-checker-qual-3.14.0 branch June 7, 2021 00:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Development

Successfully merging this pull request may close these issues.

2 participants