Skip to content
master
Switch branches/tags
Code

Latest commit

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.19.0 to 3.20.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.20.0</h2>
<h2>Version 3.20.0 (December 6, 2021)</h2>
<p><strong>User-visible changes:</strong></p>
<p>The Checker Framework now runs on code that contains switch expressions and switch statements that use the new <code>-&gt;</code> case syntax, but treats them conservatively. A future version will improve precision.</p>
<p><strong>Implementation details:</strong></p>
<p>The dataflow framework can be run on code that contains switch expressions and switch statements that use the new <code>-&gt;</code> case syntax, but it does not yet analyze the cases in a switch expression and it treats <code>-&gt;</code> as <code>:</code>. A future version will do so.</p>
<p>Removed methods and classes that have been deprecated for more than one year:</p>
<ul>
<li>Old way of constructing qualifier hierarchies</li>
<li><code>@SuppressWarningsKeys</code></li>
<li><code>RegularBlock.getContents()</code></li>
<li><code>TestUtilities.testBooleanProperty()</code></li>
<li><code>CFAbstractTransfer.getValueWithSameAnnotations()</code></li>
</ul>
<p><strong>Closed issues:</strong>
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4911">#4911</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4948">#4948</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4965">#4965</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.20.0 (December 6, 2021)</h2>
<p><strong>User-visible changes:</strong></p>
<p>The Checker Framework now runs on code that contains switch expressions and
switch statements that use the new <code>-&gt;</code> case syntax, but treats them
conservatively. A future version will improve precision.</p>
<p><strong>Implementation details:</strong></p>
<p>The dataflow framework can be run on code that contains switch expressions and
switch statements that use the new <code>-&gt;</code> case syntax, but it does not yet
analyze the cases in a switch expression and it treats <code>-&gt;</code> as <code>:</code>. A future
version will do so.</p>
<p>Removed methods and classes that have been deprecated for more than one year:</p>
<ul>
<li>Old way of constructing qualifier hierarchies</li>
<li><code>@SuppressWarningsKeys</code></li>
<li><code>RegularBlock.getContents()</code></li>
<li><code>TestUtilities.testBooleanProperty()</code></li>
<li><code>CFAbstractTransfer.getValueWithSameAnnotations()</code></li>
</ul>
<p><strong>Closed issues:</strong>
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4911">#4911</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4948">#4948</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4965">#4965</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/447eca1384179f89ff1d85c480a0fd5a3dd7b8a3"><code>447eca1</code></a> new release 3.20.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/f94111a70e234c1aaa33916adbe014c700509d31"><code>f94111a</code></a> Update for release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/17dbf44f0b76ff3e7428647d8321ff22e11ffa35"><code>17dbf44</code></a> Don't crash on switch expressions or switch statements with arrow cases</li>
<li><a href="https://github.com/typetools/checker-framework/commit/06a0aab5fa2b0088ba9784868753efae8c2815aa"><code>06a0aab</code></a> Bump com.gorylenko.gradle-git-properties from 2.4.0-rc1 to 2.4.0-rc2</li>
<li><a href="https://github.com/typetools/checker-framework/commit/9fe76ef7b1257b7fb737acb706cefb93479b788e"><code>9fe76ef</code></a> Remove methods and classes that have been deprecated for more than one year (...</li>
<li><a href="https://github.com/typetools/checker-framework/commit/001c45c51f4d9ea8818a9c51b4ad5389e65c64e5"><code>001c45c</code></a> Remove deprecated code.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/461a0a3642fb86f528e7806bddcf53c84cfcab02"><code>461a0a3</code></a> Bump classgraph from 4.8.136 to 4.8.137</li>
<li><a href="https://github.com/typetools/checker-framework/commit/9d86991dbecaff188271c9c24d01f7d6ffc96030"><code>9d86991</code></a> Bump org.ajoberstar.grgit from 4.1.0 to 4.1.1</li>
<li><a href="https://github.com/typetools/checker-framework/commit/65b43ce13e0b15093e7831376beb7ed9a5cbcbb8"><code>65b43ce</code></a> Use release candidate to work around <a href="https://github.com/n0mer/gradle-git-prop">https://github.com/n0mer/gradle-git-prop</a>...</li>
<li><a href="https://github.com/typetools/checker-framework/commit/40143a9782052ef24cfe997796a6b86ba1609063"><code>40143a9</code></a> Add emphasis</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.19.0...checker-framework-3.20.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.19.0&new-version=3.20.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 #930

COPYBARA_INTEGRATE_REVIEW=#930 from google:dependabot/maven/org.checkerframework-checker-qual-3.20.0 901a1d2
PiperOrigin-RevId: 414698230
509c338

Git stats

Files

Permalink
Failed to load latest commit information.