dependabot[bot] opened a new pull request, #691: URL: https://github.com/apache/plc4x-extras/pull/691
Bumps [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework) from 3.53.1 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> <h2>Release 4.0.0 of the Checker Framework</h2> <h2>Version 4.0.0 (2026-04-07)</h2> <h3>User-visible changes</h3> <p>To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.</p> <p>The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.</p> <p>The type qualifiers and utility libraries in <code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.</p> <h3>Changes since version 3.0.0</h3> <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!</p> <p>New checkers include:</p> <ul> <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index Checker</a> warns about out-of-bounds accesses to arrays and strings.</li> <li>The <a href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized Fields Checker</a> warns if a constructor does not initialize a field.</li> <li>The <a href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak Checker</a> guarantees that every resource is closed rather than leaked. Examples of resources are a channel, executor, <code>ExecutionControl</code>, file, <code>FileLock</code>, <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, writer, etc.</li> <li>The <a href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes Checker</a> helps prevent SQL injection vulnerabilities.</li> </ul> <p>New command-line arguments include:</p> <ul> <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li> <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, <code>-AassumePure</code>, <code>-AassumePureGetters</code></li> <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li> <li><code>-AignoreRawTypeArguments</code></li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </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> <h2>Version 4.0.0 (2026-04-07)</h2> <h3>User-visible changes</h3> <p>To run the Checker Framework, you need to use a JDK 17 or later version of javac. That is, you need to use JDK 17 or later when compiling your code.</p> <p>The Checker Framework can type-check any Java project, including projects that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11. That is, your code can run under any release of Java, from Java 8 onward.</p> <p>The type qualifiers and utility libraries in <code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 11 bytecode. Thus, they may be used in projects that run under Java 11 or later.</p> <h3>Changes since version 3.0.0</h3> <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed over 600 issues. Thanks to everyone who contributed!</p> <p>New checkers include:</p> <ul> <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index Checker</a> warns about out-of-bounds accesses to arrays and strings.</li> <li>The <a href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized Fields Checker</a> warns if a constructor does not initialize a field.</li> </ul> <!-- raw HTML omitted --> </blockquote> <p>... (truncated)</p> </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-3.53.1...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> -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
