tree 8320708c0a704c239dded04cc768d3f27083716f
parent db5db242941b3308f1a988bcc0cb1185c7f24225
author dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> 1627999579 -0700
committer Google Java Core Libraries <java-libraries-firehose+copybara@google.com> 1627999623 -0700

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>&quot;[#1](https://github.com/typetools/checker-framework/issues/1)&quot;</code>, <code>&quot;[#2](https://github.com/typetools/checker-framework/issues/2)&quot;</code>) and the receiver (<code>&quot;this&quot;</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> =&gt; <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li>
<li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List&lt;AnnotationMirror&gt;)</code> =&gt; <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List&lt;AnnotationMirror&gt;)</code></li>
<li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List&lt;AnnotationMirror&gt;)</code> =&gt; <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List&lt;AnnotationMirror&gt;)</code></li>
<li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> =&gt; <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List&lt;AnnotationMirror&gt;)</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> =&gt;  <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>CFAbstractAnalysis.getFieldValues</code> =&gt; <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>&quot;[#1](https://github.com/typetools/checker-framework/issues/1)&quot;</code>, <code>&quot;[#2](https://github.com/typetools/checker-framework/issues/2)&quot;</code>) and the receiver (<code>&quot;this&quot;</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> =&gt; <code>getPreconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror)</code></li>
<li><code>getPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, List&lt;AnnotationMirror&gt;)</code> =&gt; <code>getPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, List&lt;AnnotationMirror&gt;)</code></li>
<li><code>getPreOrPostconditionAnnotation(VariableElement, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List&lt;AnnotationMirror&gt;)</code> =&gt; <code>getPreOrPostconditionAnnotations(String, AnnotatedTypeMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List&lt;AnnotationMirror&gt;)</code></li>
<li><code>requiresOrEnsuresQualifierAnno(VariableElement, AnnotationMirror, Analysis.BeforeOrAfter)</code> =&gt; <code>createRequiresOrEnsuresQualifier(String, AnnotationMirror, AnnotatedTypeMirror, Analysis.BeforeOrAfter, List&lt;AnnotationMirror&gt;)</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> =&gt;  <code>getPreOrPostconditions(Analysis.BeforeOrAfter, ExecutableElement, String, AnnotatedTypeMirror, AnnotatedTypeFactory)</code></li>
</ul>
<p>Method renamings:</p>
<ul>
<li><code>CFAbstractAnalysis.getFieldValues</code> =&gt; <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 />

[![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.checkerframework:checker-qual&package-manager=maven&previous-version=3.16.0&new-version=3.17.0)](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