Branch: refs/heads/main
Home: https://github.com/pmd/pmd-designer
Commit: 2aeddbcc1a4b7d9bb52ffeeb92bff40e8cab84d4
https://github.com/pmd/pmd-designer/commit/2aeddbcc1a4b7d9bb52ffeeb92bff40e8cab84d4
Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Date: 2026-05-08 (Fri, 08 May 2026)
Changed paths:
M pom.xml
Log Message:
-----------
Bump org.checkerframework:checker-qual from 4.0.0 to 4.1.0 (#359)
Bumps
[org.checkerframework:checker-qual](https://github.com/typetools/checker-framework)
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 />
[](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 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>
Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot]
<49699333+dependabot[bot]@users.noreply.github.com>
To unsubscribe from these emails, change your notification settings at
https://github.com/pmd/pmd-designer/settings/notifications
_______________________________________________
Pmd-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pmd-commits
