Commit a4ef430
authored
Bump checkerframework.version from 3.37.0 to 3.38.0 (#551)
Bumps `checkerframework.version` from 3.37.0 to 3.38.0.
Updates `org.checkerframework:checker` from 3.37.0 to 3.38.0
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/typetools/checker-framework/releases">org.checkerframework:checker's
releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.38.0</h2>
<h2>Version 3.38.0 (September 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Eliminated the <code>@SignedPositiveFromUnsigned</code> annotation,
which users were advised against using.</p>
<p><strong>Implementation details:</strong></p>
<p>Renamed <code>SourceChecker.processArg()' to
</code>processErrorMessageArg()`.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/2156">#2156</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/5672">#5672</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6110">#6110</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6111">#6111</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6116">#6116</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6125">#6125</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6129">#6129</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6136">#6136</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">org.checkerframework:checker's
changelog</a>.</em></p>
<blockquote>
<h2>Version 3.38.0 (September 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Eliminated the <code>@SignedPositiveFromUnsigned</code> annotation,
which users were
advised against using.</p>
<p><strong>Implementation details:</strong></p>
<p>Renamed <code>SourceChecker.processArg()' to
</code>processErrorMessageArg()`.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/2156">#2156</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/5672">#5672</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6110">#6110</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6111">#6111</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6116">#6116</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6125">#6125</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6129">#6129</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6136">#6136</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/2d7d6ee8496d4ea9c344ed5437a7800435aee6e1"><code>2d7d6ee</code></a>
new release 3.38.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a3edf961ed0b9714b3920e472568b9c1dfa62c4f"><code>a3edf96</code></a>
Prep for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/d9190917b7855e1155e060868ece9e92f7f04696"><code>d919091</code></a>
Update stubparser to 3.25.5 (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6150">#6150</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/917d7431acfbdf26aff96e2fb6038dc827af64b9"><code>917d743</code></a>
Eliminate <code>@SignedPositiveFromUnsigned</code> annotation (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6146">#6146</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/962cb0f5e57ba793d38b0556bd2fb0b50b04fb08"><code>962cb0f</code></a>
Improvements to AnnotatedTypeFactory (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6144">#6144</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/0257feec51628a63e141a1fe41e9591033383483"><code>0257fee</code></a>
Documentation about counting programs (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6142">#6142</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/57f55d6e2d8dfa5ea412db86b1eb7bd52eed6bd3"><code>57f55d6</code></a>
Rename <code>SourceChecker.processArg()' to
</code>processErrorMessageArg()` (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6140">#6140</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a4652dc7dbf1546d72260081d9b80a38989e47bf"><code>a4652dc</code></a>
Update plugin de.undercouch.download to v5.5.0 (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6148">#6148</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/931c7a88f1359566508d88bc5cb31a873e2879d5"><code>931c7a8</code></a>
Update plugin com.diffplug.spotless to v6.21.0 (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6149">#6149</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a23b92b7ae5efbad86012b0addec2bcdb939727e"><code>a23b92b</code></a>
Use more specific terminology than "Determines if"</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.37.0...checker-framework-3.38.0">compare
view</a></li>
</ul>
</details>
<br />
Updates `org.checkerframework:checker-qual` from 3.37.0 to 3.38.0
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a
href="https://github.com/typetools/checker-framework/releases">org.checkerframework:checker-qual's
releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.38.0</h2>
<h2>Version 3.38.0 (September 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Eliminated the <code>@SignedPositiveFromUnsigned</code> annotation,
which users were advised against using.</p>
<p><strong>Implementation details:</strong></p>
<p>Renamed <code>SourceChecker.processArg()' to
</code>processErrorMessageArg()`.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/2156">#2156</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/5672">#5672</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6110">#6110</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6111">#6111</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6116">#6116</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6125">#6125</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6129">#6129</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6136">#6136</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">org.checkerframework:checker-qual's
changelog</a>.</em></p>
<blockquote>
<h2>Version 3.38.0 (September 1, 2023)</h2>
<p><strong>User-visible changes:</strong></p>
<p>Eliminated the <code>@SignedPositiveFromUnsigned</code> annotation,
which users were
advised against using.</p>
<p><strong>Implementation details:</strong></p>
<p>Renamed <code>SourceChecker.processArg()' to
</code>processErrorMessageArg()`.</p>
<p><strong>Closed issues:</strong></p>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/2156">#2156</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/5672">#5672</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6110">#6110</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6111">#6111</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6116">#6116</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6125">#6125</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6129">#6129</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/6136">#6136</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/2d7d6ee8496d4ea9c344ed5437a7800435aee6e1"><code>2d7d6ee</code></a>
new release 3.38.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a3edf961ed0b9714b3920e472568b9c1dfa62c4f"><code>a3edf96</code></a>
Prep for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/d9190917b7855e1155e060868ece9e92f7f04696"><code>d919091</code></a>
Update stubparser to 3.25.5 (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6150">#6150</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/917d7431acfbdf26aff96e2fb6038dc827af64b9"><code>917d743</code></a>
Eliminate <code>@SignedPositiveFromUnsigned</code> annotation (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6146">#6146</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/962cb0f5e57ba793d38b0556bd2fb0b50b04fb08"><code>962cb0f</code></a>
Improvements to AnnotatedTypeFactory (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6144">#6144</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/0257feec51628a63e141a1fe41e9591033383483"><code>0257fee</code></a>
Documentation about counting programs (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6142">#6142</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/57f55d6e2d8dfa5ea412db86b1eb7bd52eed6bd3"><code>57f55d6</code></a>
Rename <code>SourceChecker.processArg()' to
</code>processErrorMessageArg()` (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6140">#6140</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a4652dc7dbf1546d72260081d9b80a38989e47bf"><code>a4652dc</code></a>
Update plugin de.undercouch.download to v5.5.0 (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6148">#6148</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/931c7a88f1359566508d88bc5cb31a873e2879d5"><code>931c7a8</code></a>
Update plugin com.diffplug.spotless to v6.21.0 (<a
href="https://redirect.github.com/typetools/checker-framework/issues/6149">#6149</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a23b92b7ae5efbad86012b0addec2bcdb939727e"><code>a23b92b</code></a>
Use more specific terminology than "Determines if"</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.37.0...checker-framework-3.38.0">compare
view</a></li>
</ul>
</details>
<br />
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 show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@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>1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
| 49 | + | |
50 | 50 | | |
51 | 51 | | |
52 | 52 | | |
| |||
0 commit comments