Skip to content

Bump checker-qual from 3.6.0 to 3.9.1#53

Closed
dependabot-preview[bot] wants to merge 1 commit intomasterfrom
dependabot/maven/org.checkerframework-checker-qual-3.9.1
Closed

Bump checker-qual from 3.6.0 to 3.9.1#53
dependabot-preview[bot] wants to merge 1 commit intomasterfrom
dependabot/maven/org.checkerframework-checker-qual-3.9.1

Conversation

@dependabot-preview
Copy link
Contributor

Bumps checker-qual from 3.6.0 to 3.9.1.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.9.1

Version 3.9.1, January 13, 2021

Implementation details:

Copied methods on TreePaths from class 'TreeUtilsto new classTreePathUtil`. (The methods in TreePath will be deleted in the next release.)

  • TreeUtils.enclosingClass => TreePathUtil.enclosingClass
  • TreeUtils.enclosingMethod => TreePathUtil.enclosingMethod
  • TreeUtils.enclosingMethodOrLambda => TreePathUtil.enclosingMethodOrLambda
  • TreeUtils.enclosingNonParen => TreePathUtil.enclosingNonParen
  • TreeUtils.enclosingOfClass => TreePathUtil.enclosingOfClass
  • TreeUtils.enclosingOfKind => TreePathUtil.enclosingOfKind
  • TreeUtils.enclosingTopLevelBlock => TreePathUtil.enclosingTopLevelBlock
  • TreeUtils.enclosingVariable => TreePathUtil.enclosingVariable
  • TreeUtils.getAssignmentContext => TreePathUtil.getAssignmentContext
  • TreeUtils.inConstructor => TreePathUtil.inConstructor
  • TreeUtils.isTreeInStaticScope => TreePathUtil.isTreeInStaticScope
  • TreeUtils.pathTillClass => TreePathUtil.pathTillClass
  • TreeUtils.pathTillOfKind => TreePathUtil.pathTillOfKind

Closed issues: #789, #3202, #4071, #4083, #4114, #4115.

Checker Framework 3.9.0

Version 3.9.0, January 4, 2021

New scripts checker/bin/wpi.sh and checker/bin/wpi-many.sh run whole-program inference, without modifying the source code of the target programs.

The -Ainfer command-line argument now infers

  • method preconditions (@RequiresQualifiers, @RequiresNonNull)
  • method postconditions (@EnsuresQualifiers, @EnsuresNonNull)
  • @MonotonicNonNull

The Called Methods Checker supports the -AdisableReturnsReceiver command-line option.

The Format String Checker recognizes Error Prone's @FormatMethod annotation.

Use of @SuppressWarnings("fbc") to suppress initialization warnings is deprecated.

Implementation details:

Class renamings:

  • StubParser => AnnotationFileParser
  • Receiver => JavaExpression
    • also related class and method renamings
  • In the Dataflow Framework:
    • ThisLiteralNode => ThisNode
    • ExplicitThisLiteralNode => ExplicitThisNode
    • ImplicitThisLiteralNode => ImplicitThisNode
Changelog

Sourced from checker-qual's changelog.

Version 3.10.0, February 1, 2021

User-visible changes:

Implementation details:

Removed methods on TreePaths from class 'TreeUtils that are duplicated in TreePathUtil.

Version 3.9.1, January 13, 2021

Implementation details:

Copied methods on TreePaths from class 'TreeUtilsto new classTreePathUtil`. (The methods in TreePath will be deleted in the next release.)

  • TreeUtils.enclosingClass => TreePathUtil.enclosingClass
  • TreeUtils.enclosingMethod => TreePathUtil.enclosingMethod
  • TreeUtils.enclosingMethodOrLambda => TreePathUtil.enclosingMethodOrLambda
  • TreeUtils.enclosingNonParen => TreePathUtil.enclosingNonParen
  • TreeUtils.enclosingOfClass => TreePathUtil.enclosingOfClass
  • TreeUtils.enclosingOfKind => TreePathUtil.enclosingOfKind
  • TreeUtils.enclosingTopLevelBlock => TreePathUtil.enclosingTopLevelBlock
  • TreeUtils.enclosingVariable => TreePathUtil.enclosingVariable
  • TreeUtils.getAssignmentContext => TreePathUtil.getAssignmentContext
  • TreeUtils.inConstructor => TreePathUtil.inConstructor
  • TreeUtils.isTreeInStaticScope => TreePathUtil.isTreeInStaticScope
  • TreeUtils.pathTillClass => TreePathUtil.pathTillClass
  • TreeUtils.pathTillOfKind => TreePathUtil.pathTillOfKind

Closed issues: #789, #3202, #4071, #4083, #4114, #4115.


Version 3.9.0, January 4, 2021

User-visible changes:

New scripts checker/bin/wpi.sh and checker/bin/wpi-many.sh run whole-program inference, without modifying the source code of the target programs.

The -Ainfer command-line argument now infers

  • method preconditions (@RequiresQualifiers, @RequiresNonNull)
  • method postconditions (@EnsuresQualifiers, @EnsuresNonNull)
  • @MonotonicNonNull

The Called Methods Checker supports the -AdisableReturnsReceiver command-line option.

The Format String Checker recognizes Error Prone's @FormatMethod annotation.

Use of @SuppressWarnings("fbc") to suppress initialization warnings is deprecated.

Commits

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)
  • @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
  • @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
  • @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
  • @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
  • @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

  • Update frequency (including time of day and day of week)
  • Pull request limits (per update run and/or open at any time)
  • Out-of-range updates (receive only lockfile updates, if desired)
  • Security updates (receive only security updates, if desired)

@dependabot-preview dependabot-preview bot added the dependencies Pull requests that update a dependency file label Jan 14, 2021
@dependabot-preview
Copy link
Contributor Author

Superseded by #57.

@dependabot-preview dependabot-preview bot deleted the dependabot/maven/org.checkerframework-checker-qual-3.9.1 branch February 1, 2021 22:13
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants