Commit 30d528f
authored
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=40){kind=avatar}
MINOR: Bump checker.framework.version from 4.0.0 to 4.1.0 (#1131)
Bumps `checker.framework.version` from 4.0.0 to 4.1.0.
Updates `org.checkerframework:checker-qual` from 4.0.0 to 4.1.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 4.1.0</h2>
<h2>Version 4.1.0 (2026-05-01)</h2>
<h3>User-visible changes</h3>
<p>Removed deprecated script <code>checker/bin-devel/build.sh</code>;
use <code>./gradlew assemble</code> instead.</p>
<p>Removed deprecated names "builder",
"object.construction", and "objectconstruction" for
the Called Methods Checker.</p>
<h3>Implementation details</h3>
<p>New method annotation <code>@DoesNotUnrefineReceiver</code>.</p>
<p>In <code>AnnotatedTypeFactory</code>:</p>
<ul>
<li>new method <code>hasDoesNotUnrefineReceiver()</code>.</li>
<li><code>isAliasedTypeAnnotation()</code> is now protected rather than
public.</li>
</ul>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6890">#6890</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7364">#7364</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7488">#7488</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 4.1.0 (2026-05-01)</h2>
<h3>User-visible changes</h3>
<p>Removed deprecated script <code>checker/bin-devel/build.sh</code>;
use <code>./gradlew assemble</code>
instead.</p>
<p>Removed deprecated names "builder",
"object.construction", and
"objectconstruction" for the Called Methods Checker.</p>
<h3>Implementation details</h3>
<p>New method annotation <code>@DoesNotUnrefineReceiver</code>.</p>
<p>In <code>AnnotatedTypeFactory</code>:</p>
<ul>
<li>new method <code>hasDoesNotUnrefineReceiver()</code>.</li>
<li><code>isAliasedTypeAnnotation()</code> is now protected rather than
public.</li>
</ul>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6890">#6890</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7364">#7364</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7488">#7488</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/b8a7ca60a241c37d6889e8ecd38ba5fe6234e4d6"><code>b8a7ca6</code></a>
new release 4.1.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/f1563d2caeb6120b97b2dab32bc592ecf23b0848"><code>f1563d2</code></a>
Update for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/786773754bb83c294f3c04629027660fb289d699"><code>7867737</code></a>
Set environment variable <code>GH_TOKEN</code></li>
<li><a
href="https://github.com/typetools/checker-framework/commit/771b037663bdd490f04245437dff8ae6ebb1c64b"><code>771b037</code></a>
Tweak documentation (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7668">#7668</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/71735d1ec23ef765d8e559c92cb736630b0efaa3"><code>71735d1</code></a>
Fix documentation typo</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/6465706e3b4a69f95b2421da4284b47ccb49b81a"><code>6465706</code></a>
Make <code>isAliasedTypeAnnotation()</code> protected (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7667">#7667</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/8af69bca25fbd1d293a46ea224567feabce34370"><code>8af69bc</code></a>
Update cimg/base Docker tag to v2026.04</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/fa3ad9b59ac273df809e390fbcf2667e7977cce7"><code>fa3ad9b</code></a>
How to update the Hevea version number</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/18002bf382ef24f3a4605dc17725bd9909c4497f"><code>18002bf</code></a>
Use environment variable</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/dd8381c0344e7a3befb65c1e13b19b37aeb636c7"><code>dd8381c</code></a>
Set up GitHub Actions CI</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-4.0.0...checker-framework-4.1.0">compare
view</a></li>
</ul>
</details>
<br />
Updates `org.checkerframework:checker` from 4.0.0 to 4.1.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 4.1.0</h2>
<h2>Version 4.1.0 (2026-05-01)</h2>
<h3>User-visible changes</h3>
<p>Removed deprecated script <code>checker/bin-devel/build.sh</code>;
use <code>./gradlew assemble</code> instead.</p>
<p>Removed deprecated names "builder",
"object.construction", and "objectconstruction" for
the Called Methods Checker.</p>
<h3>Implementation details</h3>
<p>New method annotation <code>@DoesNotUnrefineReceiver</code>.</p>
<p>In <code>AnnotatedTypeFactory</code>:</p>
<ul>
<li>new method <code>hasDoesNotUnrefineReceiver()</code>.</li>
<li><code>isAliasedTypeAnnotation()</code> is now protected rather than
public.</li>
</ul>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6890">#6890</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7364">#7364</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7488">#7488</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 4.1.0 (2026-05-01)</h2>
<h3>User-visible changes</h3>
<p>Removed deprecated script <code>checker/bin-devel/build.sh</code>;
use <code>./gradlew assemble</code>
instead.</p>
<p>Removed deprecated names "builder",
"object.construction", and
"objectconstruction" for the Called Methods Checker.</p>
<h3>Implementation details</h3>
<p>New method annotation <code>@DoesNotUnrefineReceiver</code>.</p>
<p>In <code>AnnotatedTypeFactory</code>:</p>
<ul>
<li>new method <code>hasDoesNotUnrefineReceiver()</code>.</li>
<li><code>isAliasedTypeAnnotation()</code> is now protected rather than
public.</li>
</ul>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6890">#6890</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7364">#7364</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7488">#7488</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/b8a7ca60a241c37d6889e8ecd38ba5fe6234e4d6"><code>b8a7ca6</code></a>
new release 4.1.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/f1563d2caeb6120b97b2dab32bc592ecf23b0848"><code>f1563d2</code></a>
Update for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/786773754bb83c294f3c04629027660fb289d699"><code>7867737</code></a>
Set environment variable <code>GH_TOKEN</code></li>
<li><a
href="https://github.com/typetools/checker-framework/commit/771b037663bdd490f04245437dff8ae6ebb1c64b"><code>771b037</code></a>
Tweak documentation (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7668">#7668</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/71735d1ec23ef765d8e559c92cb736630b0efaa3"><code>71735d1</code></a>
Fix documentation typo</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/6465706e3b4a69f95b2421da4284b47ccb49b81a"><code>6465706</code></a>
Make <code>isAliasedTypeAnnotation()</code> protected (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7667">#7667</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/8af69bca25fbd1d293a46ea224567feabce34370"><code>8af69bc</code></a>
Update cimg/base Docker tag to v2026.04</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/fa3ad9b59ac273df809e390fbcf2667e7977cce7"><code>fa3ad9b</code></a>
How to update the Hevea version number</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/18002bf382ef24f3a4605dc17725bd9909c4497f"><code>18002bf</code></a>
Use environment variable</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/dd8381c0344e7a3befb65c1e13b19b37aeb636c7"><code>dd8381c</code></a>
Set up GitHub Actions CI</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-4.0.0...checker-framework-4.1.0">compare
view</a></li>
</ul>
</details>
<br />
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>1 parent 5e2fb63 commit 30d528f
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
112 | 112 | | |
113 | 113 | | |
114 | 114 | | |
115 | | - | |
| 115 | + | |
116 | 116 | | |
117 | 117 | | |
118 | 118 | | |
| |||
0 commit comments