MINOR: Bump checker.framework.version from 3.53.1 to 3.54.0 (#1070)
Bumps `checker.framework.version` from 3.53.1 to 3.54.0.
Updates `org.checkerframework:checker-qual` from 3.53.1 to 3.54.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.54.0</h2>
<h2>Version 3.54.0 (2026-03-02)</h2>
<h3>User-visible changes</h3>
<p>Command-line arguments:</p>
<ul>
<li>Added <code>-AinferOutputDirectory</code>.</li>
<li>Removed long-deprecated
<code>-Alint=forbidnonnullarraycomponents</code>.</li>
</ul>
<p>New command-line argument <code>-Aonelinemsg</code> puts error
messages on a single line. This is useful when using a tool that only
shows the first line of the error.</p>
<p>The command-line argument <code>-Anomsgtext</code> surrounds the
error key with brackets instead of parenthesis. This matches Java error
messages.</p>
<h3>Implementation details</h3>
<p>In <code>AnnotatedTypeFactory</code>,
<code>canonicalAnnotation()</code> returns a non-null value.</p>
<p>In <code>AnnotationClassLoader</code>:</p>
<ul>
<li>Renamed <code>hasWellDefinedTargetMetaAnnotation()</code> to
<code>isTypeQualifierAnnotation()</code>. The method now returns
<code>true</code> for annotations bearing
<code>@InvisibleQualifier</code> or <code>@SubtypeOf</code>, in addition
to the existing <code>@Target(TYPE_USE)</code> check.</li>
</ul>
<p>In <code>TestDiagnostic</code>:</p>
<ul>
<li>Renamed field <code>message</code> to <code>key</code>.</li>
<li>Added new nullable field <code>message</code> for the full message
without the key.</li>
</ul>
<p>Removed classes and methods that have been deprecated for more than
two years.</p>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6874">#6874</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7471">#7471</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7475">#7475</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7486">#7486</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.54.0 (2026-03-02)</h2>
<h3>User-visible changes</h3>
<p>Command-line arguments:</p>
<ul>
<li>Added <code>-AinferOutputDirectory</code>.</li>
<li>Removed long-deprecated
<code>-Alint=forbidnonnullarraycomponents</code>.</li>
</ul>
<p>New command-line argument <code>-Aonelinemsg</code> puts error
messages on a single line.
This is useful when using a tool that only shows the first line of the
error.</p>
<p>The command-line argument <code>-Anomsgtext</code> surrounds the
error key with brackets
instead of parenthesis. This matches Java error messages.</p>
<h3>Implementation details</h3>
<p>In <code>AnnotatedTypeFactory</code>,
<code>canonicalAnnotation()</code> returns a non-null value.</p>
<p>In <code>AnnotationClassLoader</code>:</p>
<ul>
<li>Renamed <code>hasWellDefinedTargetMetaAnnotation()</code> to
<code>isTypeQualifierAnnotation()</code>.
The method now returns <code>true</code> for annotations bearing
<code>@InvisibleQualifier</code>
or <code>@SubtypeOf</code>, in addition to the existing
<code>@Target(TYPE_USE)</code> check.</li>
</ul>
<p>In <code>TestDiagnostic</code>:</p>
<ul>
<li>Renamed field <code>message</code> to <code>key</code>.</li>
<li>Added new nullable field <code>message</code> for the full message
without the key.</li>
</ul>
<p>Removed classes and methods that have been deprecated for more than
two years.</p>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6874">#6874</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7471">#7471</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7475">#7475</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7486">#7486</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/a6eff70058f1cf8094315c0918a1d5ec1963788b"><code>a6eff70</code></a>
new release 3.54.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/fd347006340c5a365a286b46d8c4eb5743fe39ae"><code>fd34700</code></a>
Prep for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/edb6e7a0ee35ca54f440248a99af3c5c5a3335e0"><code>edb6e7a</code></a>
Print error key in brackets (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7525">#7525</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a79b1dea956ab18bc23e95799a7559afac539f5a"><code>a79b1de</code></a>
Show details of the error message in test failures (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7513">#7513</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a5ecc22d196f7d87c3db465aaa11aaba97d3fec3"><code>a5ecc22</code></a>
Clone the JDK using the same fork and branch as CF (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7491">#7491</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/2770c5239b907f27b2609d13ed4d80535bf42893"><code>2770c52</code></a>
Update cimg/base Docker tag to v2026.03</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/bba6bc98c52031e0023cba575f83a2f2385c8fcf"><code>bba6bc9</code></a>
Update plugin com-gradleup-shadow to v9.3.2</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/3a6d4d4dadae58a1b4dc1b67cfb684de5e7185b2"><code>3a6d4d4</code></a>
Update error-prone monorepo to v2.48.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/70aa5f3ce93425a87543cb60048c3dbdbe0cd8b5"><code>70aa5f3</code></a>
Update plugin net-ltgt-errorprone to v5.1.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/0dbd3e77823b66b498b9b7890ffba81866e57f8d"><code>0dbd3e7</code></a>
Prepare for javac AST changes</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.53.1...checker-framework-3.54.0">compare
view</a></li>
</ul>
</details>
<br />
Updates `org.checkerframework:checker` from 3.53.1 to 3.54.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.54.0</h2>
<h2>Version 3.54.0 (2026-03-02)</h2>
<h3>User-visible changes</h3>
<p>Command-line arguments:</p>
<ul>
<li>Added <code>-AinferOutputDirectory</code>.</li>
<li>Removed long-deprecated
<code>-Alint=forbidnonnullarraycomponents</code>.</li>
</ul>
<p>New command-line argument <code>-Aonelinemsg</code> puts error
messages on a single line. This is useful when using a tool that only
shows the first line of the error.</p>
<p>The command-line argument <code>-Anomsgtext</code> surrounds the
error key with brackets instead of parenthesis. This matches Java error
messages.</p>
<h3>Implementation details</h3>
<p>In <code>AnnotatedTypeFactory</code>,
<code>canonicalAnnotation()</code> returns a non-null value.</p>
<p>In <code>AnnotationClassLoader</code>:</p>
<ul>
<li>Renamed <code>hasWellDefinedTargetMetaAnnotation()</code> to
<code>isTypeQualifierAnnotation()</code>. The method now returns
<code>true</code> for annotations bearing
<code>@InvisibleQualifier</code> or <code>@SubtypeOf</code>, in addition
to the existing <code>@Target(TYPE_USE)</code> check.</li>
</ul>
<p>In <code>TestDiagnostic</code>:</p>
<ul>
<li>Renamed field <code>message</code> to <code>key</code>.</li>
<li>Added new nullable field <code>message</code> for the full message
without the key.</li>
</ul>
<p>Removed classes and methods that have been deprecated for more than
two years.</p>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6874">#6874</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7471">#7471</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7475">#7475</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7486">#7486</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.54.0 (2026-03-02)</h2>
<h3>User-visible changes</h3>
<p>Command-line arguments:</p>
<ul>
<li>Added <code>-AinferOutputDirectory</code>.</li>
<li>Removed long-deprecated
<code>-Alint=forbidnonnullarraycomponents</code>.</li>
</ul>
<p>New command-line argument <code>-Aonelinemsg</code> puts error
messages on a single line.
This is useful when using a tool that only shows the first line of the
error.</p>
<p>The command-line argument <code>-Anomsgtext</code> surrounds the
error key with brackets
instead of parenthesis. This matches Java error messages.</p>
<h3>Implementation details</h3>
<p>In <code>AnnotatedTypeFactory</code>,
<code>canonicalAnnotation()</code> returns a non-null value.</p>
<p>In <code>AnnotationClassLoader</code>:</p>
<ul>
<li>Renamed <code>hasWellDefinedTargetMetaAnnotation()</code> to
<code>isTypeQualifierAnnotation()</code>.
The method now returns <code>true</code> for annotations bearing
<code>@InvisibleQualifier</code>
or <code>@SubtypeOf</code>, in addition to the existing
<code>@Target(TYPE_USE)</code> check.</li>
</ul>
<p>In <code>TestDiagnostic</code>:</p>
<ul>
<li>Renamed field <code>message</code> to <code>key</code>.</li>
<li>Added new nullable field <code>message</code> for the full message
without the key.</li>
</ul>
<p>Removed classes and methods that have been deprecated for more than
two years.</p>
<h3>Closed issues</h3>
<p><a
href="https://redirect.github.com/typetools/checker-framework/issues/6874">#6874</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7471">#7471</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7475">#7475</a>,
<a
href="https://redirect.github.com/typetools/checker-framework/issues/7486">#7486</a>.</p>
</blockquote>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/typetools/checker-framework/commit/a6eff70058f1cf8094315c0918a1d5ec1963788b"><code>a6eff70</code></a>
new release 3.54.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/fd347006340c5a365a286b46d8c4eb5743fe39ae"><code>fd34700</code></a>
Prep for release.</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/edb6e7a0ee35ca54f440248a99af3c5c5a3335e0"><code>edb6e7a</code></a>
Print error key in brackets (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7525">#7525</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a79b1dea956ab18bc23e95799a7559afac539f5a"><code>a79b1de</code></a>
Show details of the error message in test failures (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7513">#7513</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/a5ecc22d196f7d87c3db465aaa11aaba97d3fec3"><code>a5ecc22</code></a>
Clone the JDK using the same fork and branch as CF (<a
href="https://redirect.github.com/typetools/checker-framework/issues/7491">#7491</a>)</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/2770c5239b907f27b2609d13ed4d80535bf42893"><code>2770c52</code></a>
Update cimg/base Docker tag to v2026.03</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/bba6bc98c52031e0023cba575f83a2f2385c8fcf"><code>bba6bc9</code></a>
Update plugin com-gradleup-shadow to v9.3.2</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/3a6d4d4dadae58a1b4dc1b67cfb684de5e7185b2"><code>3a6d4d4</code></a>
Update error-prone monorepo to v2.48.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/70aa5f3ce93425a87543cb60048c3dbdbe0cd8b5"><code>70aa5f3</code></a>
Update plugin net-ltgt-errorprone to v5.1.0</li>
<li><a
href="https://github.com/typetools/checker-framework/commit/0dbd3e77823b66b498b9b7890ffba81866e57f8d"><code>0dbd3e7</code></a>
Prepare for javac AST changes</li>
<li>Additional commits viewable in <a
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.53.1...checker-framework-3.54.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 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] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
diff --git a/pom.xml b/pom.xml
index eb77687..27aa503 100644
--- a/pom.xml
+++ b/pom.xml
@@ -112,7 +112,7 @@
<checkstyle.version>10.23.0</checkstyle.version>
<checkstyle.failOnViolation>true</checkstyle.failOnViolation>
<error_prone_core.version>2.42.0</error_prone_core.version>
- <checker.framework.version>3.53.1</checker.framework.version>
+ <checker.framework.version>3.54.0</checker.framework.version>
<logback.version>1.5.32</logback.version>
<doclint>none</doclint>
<additionalparam>-Xdoclint:none</additionalparam>
