Bump checker-qual from 3.16.0 to 3.17.0
Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.16.0 to 3.17.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">checker-qual's releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.17.0</h2>
<h2>Version 3.17.0 (August 2, 2021)</h2>
<p><strong>User-visible changes:</strong></p>
<p><code>-Ainfer</code> can now infer postcondition annotations that reference formal parameters (e.g. <code>"[#1](https://github.com/typetools/checker-framework/issues/1)"</code>, <code>"[#2](https://github.com/typetools/checker-framework/issues/2)"</code>) and the receiver (<code>"this"</code>).</p>
<p><strong>Implementation details:</strong></p>
<p>Method renamings and signature changes (old methods are removed) in <code>GenericAnnotatedTypeFactory</code>:</p>
<ul>
<li><code>getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)</code> => <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li>
<li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)</code> => <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)</code></li>
<li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code> => <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li>
<li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> => <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li>
</ul>
<p>Method renamings and signature changes (old method is removed) in <code>WholeProgramInferenceStorage</code>:</p>
<ul>
<li><code>getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)</code> => <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>CFAbstractAnalysis.getFieldValues</code> => <code>getFieldInitialValues</code></li>
</ul>
<p>The following methods no longer take a <code>fieldValues</code> parameter:</p>
<ul>
<li><code>GenericAnnotatedTypeFactory#createFlowAnalysis</code></li>
<li><code>CFAnalysis</code> constructor</li>
<li><code>CFAbstractAnalysis#performAnalysis</code></li>
<li><code>CFAbstractAnalysis</code> constructors</li>
</ul>
<p><strong>Closed issues:</strong>
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4685">#4685</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4689">#4689</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4785">#4785</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4805">#4805</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4806">#4806</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4815">#4815</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4829">#4829</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4849">#4849</a>.</p>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md">checker-qual's changelog</a>.</em></p>
<blockquote>
<h2>Version 3.17.0 (August 2, 2021)</h2>
<p><strong>User-visible changes:</strong></p>
<p><code>-Ainfer</code> can now infer postcondition annotations that reference formal parameters
(e.g. <code>"[#1](https://github.com/typetools/checker-framework/issues/1)"</code>, <code>"[#2](https://github.com/typetools/checker-framework/issues/2)"</code>) and the receiver (<code>"this"</code>).</p>
<p><strong>Implementation details:</strong></p>
<p>Method renamings and signature changes (old methods are removed) in <code>GenericAnnotatedTypeFactory</code>:</p>
<ul>
<li><code>getPreconditionAnnotation(VariableElement, AnnotatedTypeMirror)</code> => <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li>
<li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List<AnnotationMirror>)</code> => <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List<AnnotationMirror>)</code></li>
<li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code> => <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li>
<li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> => <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List<AnnotationMirror>)</code></li>
</ul>
<p>Method renamings and signature changes (old method is removed) in <code>WholeProgramInferenceStorage</code>:</p>
<ul>
<li><code>getPreOrPostconditionsForField(Analysis.BeforeOrAfter, ExecutableElement, VariableElement, AnnotatedTypeFactory)</code> => <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>CFAbstractAnalysis.getFieldValues</code> => <code>getFieldInitialValues</code></li>
</ul>
<p>The following methods no longer take a <code>fieldValues</code> parameter:</p>
<ul>
<li><code>GenericAnnotatedTypeFactory#createFlowAnalysis</code></li>
<li><code>CFAnalysis</code> construtor</li>
<li><code>CFAbstractAnalysis#performAnalysis</code></li>
<li><code>CFAbstractAnalysis</code> constructors</li>
</ul>
<p><strong>Closed issues:</strong>
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4685">#4685</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4689">#4689</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4785">#4785</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4805">#4805</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4806">#4806</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4815">#4815</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4829">#4829</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4849">#4849</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/9d0f498a3d4360b24e5e2d28a7174b5f6f06b00b"><code>9d0f498</code></a> new release 3.17.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/2e17d539d93d36742d01e26f95d13631b74b8998"><code>2e17d53</code></a> Prep for release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/11ad15d91bb52fc804e57a58dedef06c5b0e9ffc"><code>11ad15d</code></a> Initializes all fields of newly created ATM before substituting type vars</li>
<li><a href="https://github.com/typetools/checker-framework/commit/ecc03e68e4ef6dd2126fdb96d02740d10f596ca2"><code>ecc03e6</code></a> Add a task to print a list of java files</li>
<li><a href="https://github.com/typetools/checker-framework/commit/313e5c890386a99bac2c62b5f6f6f6f410500ade"><code>313e5c8</code></a> Documentation tweaks</li>
<li><a href="https://github.com/typetools/checker-framework/commit/127b2af97bb6a012e65742233f421df48f4a6e89"><code>127b2af</code></a> Handle enum fields specially in <code>getFieldAnnotations()</code></li>
<li><a href="https://github.com/typetools/checker-framework/commit/594fe9ca71ebbae864df27052eeab47f00a9b03d"><code>594fe9c</code></a> Make the return type of <code>getFakeOverride()</code> more specific</li>
<li><a href="https://github.com/typetools/checker-framework/commit/0f9b90a337dad4b2cda7f80473ad37ac0558ecaa"><code>0f9b90a</code></a> Remove unneeded formal parameter</li>
<li><a href="https://github.com/typetools/checker-framework/commit/9fe9c722d5cc97f5694e0ef240ff7a950331fdde"><code>9fe9c72</code></a> Rename <code>getTypeFactory()</code> to <code>createTypeFactoryForProcessor</code></li>
<li><a href="https://github.com/typetools/checker-framework/commit/77a7c932e83038e2b075d14dbc2b133938387bfa"><code>77a7c93</code></a> Validate return types correctly. (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4844">#4844</a>)</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.16.0...checker-framework-3.17.0">compare view</a></li>
</ul>
</details>
<br />
[](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)
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-automerge-start)
[//]: # (dependabot-automerge-end)
---
<details>
<summary>Dependabot commands and options</summary>
<br />
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)
</details>
Fixes #899
COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/899 from google:dependabot/maven/org.checkerframework-checker-qual-3.17.0 1aae0e3b99a7ecfe19b5ab619e4fad89c7e22f2f
PiperOrigin-RevId: 388447831
diff --git a/pom.xml b/pom.xml
index 6724c64..204d4aa 100644
--- a/pom.xml
+++ b/pom.xml
@@ -79,7 +79,7 @@
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
- <version>3.16.0</version>
+ <version>3.17.0</version>
</dependency>
<dependency>
<groupId>junit</groupId>
