Bump checker-qual from 3.1.0 to 3.1.1

[dependabot-preview]

Bumps checker-qual from 3.1.0 to 3.1.1.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.1.1

Version 3.1.1, February 3, 2020

New command-line options: -AassumeDeterministic Unsoundly assume that every method is deterministic -AassumePure Unsoundly assume that every method is pure

Renamed -Anocheckjdk to -ApermitMissingJdk. The old version still works, for backward compatibility.

Renamed -Alint=forbidnonnullarraycomponents to -Alint=soundArrayCreationNullness. The old version still works, for backward compatibility.

Implementation details:

• Deprecated QualifierHierarchy#getTypeQualifiers.
• Deprecated Analysis#Analysis(ProcessingEnvironment) and Analysis#Analysis(T, int, ProcessingEnvironment); use Analysis#Analysis(), Analysis#Analysis(int), Analysis#Analysis(T), and Analysis#Analysis(T, int) instead.

Closed issues:

2181, 2975, 3018, 3022, 3032, 3036, 3037, 3038, 3041, 3049, 3055, 3076.

Changelog

Sourced from checker-qual's changelog.

Version 3.1.1, February 3, 2020

New command-line options: -AassumeDeterministic Unsoundly assume that every method is deterministic -AassumePure Unsoundly assume that every method is pure

Renamed -Anocheckjdk to -ApermitMissingJdk. The old version still works, for backward compatibility.

Renamed -Alint=forbidnonnullarraycomponents to -Alint=soundArrayCreationNullness. The old version still works, for backward compatibility.

Implementation details:

• Deprecated QualifierHierarchy#getTypeQualifiers.
• Deprecated Analysis#Analysis(ProcessingEnvironment) and Analysis#Analysis(T, int, ProcessingEnvironment); use Analysis#Analysis(), Analysis#Analysis(int), Analysis#Analysis(T), and Analysis#Analysis(T, int) instead.

Closed issues:

2181, 2975, 3018, 3022, 3032, 3036, 3037, 3038, 3041, 3049, 3055, 3076.

---

Version 3.1.0, January 3, 2020

Command-line option -AprintGitProperties prints information about the git repository from which the Checker Framework was compiled.

Implementation details:

• Removed static cache in AnnotationUtils#areSameByClass and added AnnotatedTypeFactory#areSameByClass that uses an instance cache.
• Removed static cache in AnnotationBuilder#fromName and #fromClass.
• ContractsUtils#getPreconditions takes an ExecutableElement as an argument.
• ContractsUtils#getContracts returns a Set.
• Moved ContractUtils.Contract to outer level.
• Renamed ConditionalPostcondition#annoResult to ConditionalPostcondition#resultValue.

Closed issues:

2867, 2897, 2972.

---

Version 3.0.1, December 2, 2019

New command-line option for the Constant Value Checker -AnoNullStringsConcatenation unsoundly assumes that every operand of a String concatenation is non-null.

... (truncated)

Commits

• 3d75914 new release 3.1.1
• 02cf243 Update contributors.tex.
• 4bca249 Update change log.
• 6a1ccc0 Add Maven JDK 11 example to release zip. Fixes #3076
• 78690dc Update jdk8.jar hash.
• 4668e49 Account for recursive type variables in enclosing types (Fixes #3055) (#3072)
• 1adec45 Use Gradle 6.1.1
• 075cb83 Remove redundant parenthesis. (#3074)
• 0a8815e Add new diagnostic fixable-warning. (#3071)
• cce6c66 Type-check Guava in continuous integration
• Additional commits viewable in compare view

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)
• Automerge options (never/patch/minor, and dev/runtime dependencies)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)