dependabot[bot] opened a new pull request, #936: URL: https://github.com/apache/ws-axiom/pull/936
Bumps `checkerframework.version` from 4.2.2 to 4.2.3. Updates `org.checkerframework:checker-qual` from 4.2.2 to 4.2.3 <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.2.3</h2> <h2>Version 4.2.3 (2026-09-01)</h2> <h3>User-visible changes</h3> <p>The <code>-AsuggestPureMethods</code> command-line option and the <code>purity.effectively.pure</code> warning no longer require <code>-AcheckPurityAnnotations</code> to also be supplied.</p> <h3>Implementation details</h3> <p>Made the field <code>Java8InferenceContext.pathToExpression</code> private; use <code>getPathToExpression()</code> and <code>setPathToExpression()</code> instead.</p> <p>Renamed <code>TreeUtils.isLikeDiamondMemberReference()</code> to <code>isRawTypedMemberReference()</code>.</p> <h3>Closed issues</h3> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/2816";>#2816</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7677";>#7677</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7678";>#7678</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7681";>#7681</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7682";>#7682</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7684";>#7684</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7693";>#7693</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7694";>#7694</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7696";>#7696</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7698";>#7698</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7701";>#7701</a>, <a href="http s://redirect.github.com/typetools/checker-framework/issues/7702">#7702</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7875";>#7875</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8046";>#8046</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8047";>#8047</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8048";>#8048</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8050";>#8050</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8052";>#8052</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.2.3 (2026-09-01)</h2> <h3>User-visible changes</h3> <p>The <code>-AsuggestPureMethods</code> command-line option and the <code>purity.effectively.pure</code> warning no longer require <code>-AcheckPurityAnnotations</code> to also be supplied.</p> <h3>Changes for type system implementers</h3> <p>Made the field <code>Java8InferenceContext.pathToExpression</code> private; use <code>getPathToExpression()</code> and <code>setPathToExpression()</code> instead.</p> <p>Renamed <code>TreeUtils.isLikeDiamondMemberReference()</code> to <code>isRawTypedMemberReference()</code>.</p> <h3>Closed issues</h3> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/2816";>#2816</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7677";>#7677</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7678";>#7678</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7681";>#7681</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7682";>#7682</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7684";>#7684</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7693";>#7693</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7694";>#7694</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7696";>#7696</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7698";>#7698</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7701";>#7701</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7702";>#7702</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7875";>#7875</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8046";>#8046</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8047";>#8047</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8048";>#8048</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8050";>#8050</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8052";>#8052</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/ddd330dfec46e29c075f923ac89556379566ccd2";><code>ddd330d</code></a> new release 4.2.3</li> <li><a href="https://github.com/typetools/checker-framework/commit/d44c55a525c9aa3ce427741379021712c12f296b";><code>d44c55a</code></a> Increase the timeout.</li> <li><a href="https://github.com/typetools/checker-framework/commit/d07e6cedd79c813b4d56931665e88b7d91395d52";><code>d07e6ce</code></a> Fix links.</li> <li><a href="https://github.com/typetools/checker-framework/commit/0af4fa25558a87b1bdd74792341c1b1714ff7b71";><code>0af4fa2</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/455d690ae45a70d433954346a14f4bd22386cf58";><code>455d690</code></a> Infer the type arguments of <code>ReferenceType::Identifier</code> where <code>ReferenceType</code>...</li> <li><a href="https://github.com/typetools/checker-framework/commit/81173f8df325810f7fa1b420ae8eeb130f3ea784";><code>81173f8</code></a> Add javac equivalent class for AnnotationEqualityVisitor (<a href="https://redirect.github.com/typetools/checker-framework/issues/7692";>#7692</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/81b9930f6c164d761535d520997f8993bd1b1050";><code>81b9930</code></a> AFU Javadoc</li> <li><a href="https://github.com/typetools/checker-framework/commit/ac24b72c34b0d590e738393e01e988205f0fe111";><code>ac24b72</code></a> Add <code>ci_info</code> jobs, simplify misc jobs</li> <li><a href="https://github.com/typetools/checker-framework/commit/d27d6b4322db4512b9dc67b1e25aa09b51561daa";><code>d27d6b4</code></a> Clear SubtypeVisitHistory after each outermost isSubtype call (<a href="https://redirect.github.com/typetools/checker-framework/issues/8064";>#8064</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/3180cc2fd296b62031e16baabd61abc4ce1ab80c";><code>3180cc2</code></a> Update actions/setup-java action to v6</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-4.2.2...checker-framework-4.2.3";>compare view</a></li> </ul> </details> <br /> Updates `org.checkerframework:checker` from 4.2.2 to 4.2.3 <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.2.3</h2> <h2>Version 4.2.3 (2026-09-01)</h2> <h3>User-visible changes</h3> <p>The <code>-AsuggestPureMethods</code> command-line option and the <code>purity.effectively.pure</code> warning no longer require <code>-AcheckPurityAnnotations</code> to also be supplied.</p> <h3>Implementation details</h3> <p>Made the field <code>Java8InferenceContext.pathToExpression</code> private; use <code>getPathToExpression()</code> and <code>setPathToExpression()</code> instead.</p> <p>Renamed <code>TreeUtils.isLikeDiamondMemberReference()</code> to <code>isRawTypedMemberReference()</code>.</p> <h3>Closed issues</h3> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/2816";>#2816</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7677";>#7677</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7678";>#7678</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7681";>#7681</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7682";>#7682</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7684";>#7684</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7693";>#7693</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7694";>#7694</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7696";>#7696</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7698";>#7698</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7701";>#7701</a>, <a href="http s://redirect.github.com/typetools/checker-framework/issues/7702">#7702</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7875";>#7875</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8046";>#8046</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8047";>#8047</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8048";>#8048</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8050";>#8050</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8052";>#8052</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.2.3 (2026-09-01)</h2> <h3>User-visible changes</h3> <p>The <code>-AsuggestPureMethods</code> command-line option and the <code>purity.effectively.pure</code> warning no longer require <code>-AcheckPurityAnnotations</code> to also be supplied.</p> <h3>Changes for type system implementers</h3> <p>Made the field <code>Java8InferenceContext.pathToExpression</code> private; use <code>getPathToExpression()</code> and <code>setPathToExpression()</code> instead.</p> <p>Renamed <code>TreeUtils.isLikeDiamondMemberReference()</code> to <code>isRawTypedMemberReference()</code>.</p> <h3>Closed issues</h3> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/2816";>#2816</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7677";>#7677</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7678";>#7678</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7681";>#7681</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7682";>#7682</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7684";>#7684</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7693";>#7693</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7694";>#7694</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7696";>#7696</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7698";>#7698</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7701";>#7701</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7702";>#7702</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7875";>#7875</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8046";>#8046</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8047";>#8047</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8048";>#8048</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8050";>#8050</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8052";>#8052</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/ddd330dfec46e29c075f923ac89556379566ccd2";><code>ddd330d</code></a> new release 4.2.3</li> <li><a href="https://github.com/typetools/checker-framework/commit/d44c55a525c9aa3ce427741379021712c12f296b";><code>d44c55a</code></a> Increase the timeout.</li> <li><a href="https://github.com/typetools/checker-framework/commit/d07e6cedd79c813b4d56931665e88b7d91395d52";><code>d07e6ce</code></a> Fix links.</li> <li><a href="https://github.com/typetools/checker-framework/commit/0af4fa25558a87b1bdd74792341c1b1714ff7b71";><code>0af4fa2</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/455d690ae45a70d433954346a14f4bd22386cf58";><code>455d690</code></a> Infer the type arguments of <code>ReferenceType::Identifier</code> where <code>ReferenceType</code>...</li> <li><a href="https://github.com/typetools/checker-framework/commit/81173f8df325810f7fa1b420ae8eeb130f3ea784";><code>81173f8</code></a> Add javac equivalent class for AnnotationEqualityVisitor (<a href="https://redirect.github.com/typetools/checker-framework/issues/7692";>#7692</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/81b9930f6c164d761535d520997f8993bd1b1050";><code>81b9930</code></a> AFU Javadoc</li> <li><a href="https://github.com/typetools/checker-framework/commit/ac24b72c34b0d590e738393e01e988205f0fe111";><code>ac24b72</code></a> Add <code>ci_info</code> jobs, simplify misc jobs</li> <li><a href="https://github.com/typetools/checker-framework/commit/d27d6b4322db4512b9dc67b1e25aa09b51561daa";><code>d27d6b4</code></a> Clear SubtypeVisitHistory after each outermost isSubtype call (<a href="https://redirect.github.com/typetools/checker-framework/issues/8064";>#8064</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/3180cc2fd296b62031e16baabd61abc4ce1ab80c";><code>3180cc2</code></a> Update actions/setup-java action to v6</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-4.2.2...checker-framework-4.2.3";>compare view</a></li> </ul> </details> <br /> Updates `org.checkerframework:framework-test` from 4.2.2 to 4.2.3 <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases";>org.checkerframework:framework-test's releases</a>.</em></p> <blockquote> <h2>Checker Framework 4.2.3</h2> <h2>Version 4.2.3 (2026-09-01)</h2> <h3>User-visible changes</h3> <p>The <code>-AsuggestPureMethods</code> command-line option and the <code>purity.effectively.pure</code> warning no longer require <code>-AcheckPurityAnnotations</code> to also be supplied.</p> <h3>Implementation details</h3> <p>Made the field <code>Java8InferenceContext.pathToExpression</code> private; use <code>getPathToExpression()</code> and <code>setPathToExpression()</code> instead.</p> <p>Renamed <code>TreeUtils.isLikeDiamondMemberReference()</code> to <code>isRawTypedMemberReference()</code>.</p> <h3>Closed issues</h3> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/2816";>#2816</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7677";>#7677</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7678";>#7678</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7681";>#7681</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7682";>#7682</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7684";>#7684</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7693";>#7693</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7694";>#7694</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7696";>#7696</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7698";>#7698</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7701";>#7701</a>, <a href="http s://redirect.github.com/typetools/checker-framework/issues/7702">#7702</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7875";>#7875</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8046";>#8046</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8047";>#8047</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8048";>#8048</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8050";>#8050</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8052";>#8052</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:framework-test's changelog</a>.</em></p> <blockquote> <h2>Version 4.2.3 (2026-09-01)</h2> <h3>User-visible changes</h3> <p>The <code>-AsuggestPureMethods</code> command-line option and the <code>purity.effectively.pure</code> warning no longer require <code>-AcheckPurityAnnotations</code> to also be supplied.</p> <h3>Changes for type system implementers</h3> <p>Made the field <code>Java8InferenceContext.pathToExpression</code> private; use <code>getPathToExpression()</code> and <code>setPathToExpression()</code> instead.</p> <p>Renamed <code>TreeUtils.isLikeDiamondMemberReference()</code> to <code>isRawTypedMemberReference()</code>.</p> <h3>Closed issues</h3> <p><a href="https://redirect.github.com/typetools/checker-framework/issues/2816";>#2816</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7677";>#7677</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7678";>#7678</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7681";>#7681</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7682";>#7682</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7684";>#7684</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7693";>#7693</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7694";>#7694</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7696";>#7696</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7698";>#7698</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7701";>#7701</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7702";>#7702</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/7875";>#7875</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8046";>#8046</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8047";>#8047</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8048";>#8048</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8050";>#8050</a>, <a href="https://redirect.github.com/typetools/checker-framework/issues/8052";>#8052</a>.</p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/typetools/checker-framework/commit/ddd330dfec46e29c075f923ac89556379566ccd2";><code>ddd330d</code></a> new release 4.2.3</li> <li><a href="https://github.com/typetools/checker-framework/commit/d44c55a525c9aa3ce427741379021712c12f296b";><code>d44c55a</code></a> Increase the timeout.</li> <li><a href="https://github.com/typetools/checker-framework/commit/d07e6cedd79c813b4d56931665e88b7d91395d52";><code>d07e6ce</code></a> Fix links.</li> <li><a href="https://github.com/typetools/checker-framework/commit/0af4fa25558a87b1bdd74792341c1b1714ff7b71";><code>0af4fa2</code></a> Prep for release.</li> <li><a href="https://github.com/typetools/checker-framework/commit/455d690ae45a70d433954346a14f4bd22386cf58";><code>455d690</code></a> Infer the type arguments of <code>ReferenceType::Identifier</code> where <code>ReferenceType</code>...</li> <li><a href="https://github.com/typetools/checker-framework/commit/81173f8df325810f7fa1b420ae8eeb130f3ea784";><code>81173f8</code></a> Add javac equivalent class for AnnotationEqualityVisitor (<a href="https://redirect.github.com/typetools/checker-framework/issues/7692";>#7692</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/81b9930f6c164d761535d520997f8993bd1b1050";><code>81b9930</code></a> AFU Javadoc</li> <li><a href="https://github.com/typetools/checker-framework/commit/ac24b72c34b0d590e738393e01e988205f0fe111";><code>ac24b72</code></a> Add <code>ci_info</code> jobs, simplify misc jobs</li> <li><a href="https://github.com/typetools/checker-framework/commit/d27d6b4322db4512b9dc67b1e25aa09b51561daa";><code>d27d6b4</code></a> Clear SubtypeVisitHistory after each outermost isSubtype call (<a href="https://redirect.github.com/typetools/checker-framework/issues/8064";>#8064</a>)</li> <li><a href="https://github.com/typetools/checker-framework/commit/3180cc2fd296b62031e16baabd61abc4ce1ab80c";><code>3180cc2</code></a> Update actions/setup-java action to v6</li> <li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-4.2.2...checker-framework-4.2.3";>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> -- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
