Skip to content

chore(java): Bump the linters group in /java with 3 updates - #5005

Open
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/maven/java/linters-4f936a75a0
Open

chore(java): Bump the linters group in /java with 3 updates#5005
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/maven/java/linters-4f936a75a0

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Nov 10, 2026

Copy link
Copy Markdown
Contributor

Bumps the linters group in /java with 3 updates: org.checkerframework:checker-qual, org.checkerframework:checker and com.google.errorprone:error_prone_core.

Updates org.checkerframework:checker-qual from 4.3.1 to 4.4.0

Release notes

Sourced from org.checkerframework:checker-qual's releases.

Checker Framework 4.4.0

Version 4.4.0 (2026-11-02)

User-visible changes

A method with a purity annotation may call the functional method of one of its functional-interface parameters, such as f.apply(x) for a parameter Function f; the call is treated as having the method's purity. In exchange, under -AcheckPurityAnnotations, each argument passed to such a parameter must have that purity, or the new error purity.functional.argument is issued. This affects calls to JDK methods such as Optional.map and Comparator.comparing that are passed lambdas with side effects, and calls to @Pure methods such as Objects.requireNonNull(T, Supplier) that are passed a lambda that is not deterministic, such as one that calls String.format. See the manual section "Lambdas, method references, and functional interfaces".

Changes for type system implementers

New class AbstractSetInclusionQualifierHierarchy is the superclass of SubtypeIsSubsetQualifierHierarchy and SubtypeIsSupersetQualifierHierarchy.

Removed TreeUtils.hasSyntheticArgument(), which always returned false.

A subclass of CFAbstractValue or CFValue that adds state must override equals() and hashCode() to account for that state.

New method BaseTypeVisitor.shouldSkipClass() lets a checker skip a class entirely, including dataflow analysis.

Removed classes ByteMath, ShortMath, IntegerMath, LongMath, FloatMath, and DoubleMath. Use NumberMath.getNumberMath() instead. NumberMath is now a final, non-generic class. NumberMath.getNumberMath() throws UnsupportedOperationException, rather than returning null, for an unsupported Number subclass, such as BigInteger.

PurityChecker.checkPurity() takes two new arguments: the method declaration that lexically encloses the statement being checked (or null, as for an arbitrary expression) and the processing environment.

Renamed ControlFlowGraph.convertedTreeLookup to implicitlyConvertedTreeLookup and CFGTranslationPhaseOne.addToConvertedLookupMap() to addToImplicitlyConvertedLookupMap().

Deprecated methods:

  • DisallowedSideEffects.noArgumentMethod() => ElementUtils.resolveNoArgumentCall()

Closed issues

#6849, #6864, #6872, #8018, #8300, #8320, #8323, #8340, #8343.

Changelog

Sourced from org.checkerframework:checker-qual's changelog.

Version 4.4.0 (2026-11-02)

User-visible changes

A method with a purity annotation may call the functional method of one of its functional-interface parameters, such as f.apply(x) for a parameter Function f; the call is treated as having the method's purity. In exchange, under -AcheckPurityAnnotations, each argument passed to such a parameter must have that purity, or the new error purity.functional.argument is issued. This affects calls to JDK methods such as Optional.map and Comparator.comparing that are passed lambdas with side effects, and calls to @Pure methods such as Objects.requireNonNull(T, Supplier) that are passed a lambda that is not deterministic, such as one that calls String.format. See the manual section "Lambdas, method references, and functional interfaces".

Changes for type system implementers

New class AbstractSetInclusionQualifierHierarchy is the superclass of SubtypeIsSubsetQualifierHierarchy and SubtypeIsSupersetQualifierHierarchy.

Removed TreeUtils.hasSyntheticArgument(), which always returned false.

A subclass of CFAbstractValue or CFValue that adds state must override equals() and hashCode() to account for that state.

New method BaseTypeVisitor.shouldSkipClass() lets a checker skip a class entirely, including dataflow analysis.

Removed classes ByteMath, ShortMath, IntegerMath, LongMath, FloatMath, and DoubleMath. Use NumberMath.getNumberMath() instead. NumberMath is now a final, non-generic class. NumberMath.getNumberMath() throws UnsupportedOperationException, rather than returning null, for an unsupported Number subclass, such as BigInteger.

PurityChecker.checkPurity() takes two new arguments: the method declaration that lexically encloses the statement being checked (or null, as for an arbitrary expression) and the processing environment.

Renamed ControlFlowGraph.convertedTreeLookup to implicitlyConvertedTreeLookup and CFGTranslationPhaseOne.addToConvertedLookupMap() to addToImplicitlyConvertedLookupMap().

Deprecated methods:

  • DisallowedSideEffects.noArgumentMethod() => ElementUtils.resolveNoArgumentCall()

Closed issues

#6849, #6864, #6872, #8018, #8300, #8320, #8323, #8340, #8343.

Commits
  • 1603378 new release 4.4.0
  • 5c673f3 Fix some links.
  • e32e41c Update deprecation since versions to 4.4.0
  • f50337d Prep for release.
  • caed37c Update cimg/base Docker tag to v2026.11 (#8474)
  • 6fb495a ToIndexFileConverter: load classes with the right class loader, and handle va...
  • 127fcec Document the "Cannot attach type annotations" error on JDK 22+ (#8468)
  • dbba49e Update plugin net-ltgt-errorprone to v5.2.0 (#8472)
  • 11758b8 Fix typo "languages features" in test comments (#8463)
  • 2a4f225 Update dependency org.apache.spark:spark-sql_2.13 to v4.3.0 (#8471)
  • Additional commits viewable in compare view

Updates org.checkerframework:checker from 4.3.1 to 4.4.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 4.4.0

Version 4.4.0 (2026-11-02)

User-visible changes

A method with a purity annotation may call the functional method of one of its functional-interface parameters, such as f.apply(x) for a parameter Function f; the call is treated as having the method's purity. In exchange, under -AcheckPurityAnnotations, each argument passed to such a parameter must have that purity, or the new error purity.functional.argument is issued. This affects calls to JDK methods such as Optional.map and Comparator.comparing that are passed lambdas with side effects, and calls to @Pure methods such as Objects.requireNonNull(T, Supplier) that are passed a lambda that is not deterministic, such as one that calls String.format. See the manual section "Lambdas, method references, and functional interfaces".

Changes for type system implementers

New class AbstractSetInclusionQualifierHierarchy is the superclass of SubtypeIsSubsetQualifierHierarchy and SubtypeIsSupersetQualifierHierarchy.

Removed TreeUtils.hasSyntheticArgument(), which always returned false.

A subclass of CFAbstractValue or CFValue that adds state must override equals() and hashCode() to account for that state.

New method BaseTypeVisitor.shouldSkipClass() lets a checker skip a class entirely, including dataflow analysis.

Removed classes ByteMath, ShortMath, IntegerMath, LongMath, FloatMath, and DoubleMath. Use NumberMath.getNumberMath() instead. NumberMath is now a final, non-generic class. NumberMath.getNumberMath() throws UnsupportedOperationException, rather than returning null, for an unsupported Number subclass, such as BigInteger.

PurityChecker.checkPurity() takes two new arguments: the method declaration that lexically encloses the statement being checked (or null, as for an arbitrary expression) and the processing environment.

Renamed ControlFlowGraph.convertedTreeLookup to implicitlyConvertedTreeLookup and CFGTranslationPhaseOne.addToConvertedLookupMap() to addToImplicitlyConvertedLookupMap().

Deprecated methods:

  • DisallowedSideEffects.noArgumentMethod() => ElementUtils.resolveNoArgumentCall()

Closed issues

#6849, #6864, #6872, #8018, #8300, #8320, #8323, #8340, #8343.

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 4.4.0 (2026-11-02)

User-visible changes

A method with a purity annotation may call the functional method of one of its functional-interface parameters, such as f.apply(x) for a parameter Function f; the call is treated as having the method's purity. In exchange, under -AcheckPurityAnnotations, each argument passed to such a parameter must have that purity, or the new error purity.functional.argument is issued. This affects calls to JDK methods such as Optional.map and Comparator.comparing that are passed lambdas with side effects, and calls to @Pure methods such as Objects.requireNonNull(T, Supplier) that are passed a lambda that is not deterministic, such as one that calls String.format. See the manual section "Lambdas, method references, and functional interfaces".

Changes for type system implementers

New class AbstractSetInclusionQualifierHierarchy is the superclass of SubtypeIsSubsetQualifierHierarchy and SubtypeIsSupersetQualifierHierarchy.

Removed TreeUtils.hasSyntheticArgument(), which always returned false.

A subclass of CFAbstractValue or CFValue that adds state must override equals() and hashCode() to account for that state.

New method BaseTypeVisitor.shouldSkipClass() lets a checker skip a class entirely, including dataflow analysis.

Removed classes ByteMath, ShortMath, IntegerMath, LongMath, FloatMath, and DoubleMath. Use NumberMath.getNumberMath() instead. NumberMath is now a final, non-generic class. NumberMath.getNumberMath() throws UnsupportedOperationException, rather than returning null, for an unsupported Number subclass, such as BigInteger.

PurityChecker.checkPurity() takes two new arguments: the method declaration that lexically encloses the statement being checked (or null, as for an arbitrary expression) and the processing environment.

Renamed ControlFlowGraph.convertedTreeLookup to implicitlyConvertedTreeLookup and CFGTranslationPhaseOne.addToConvertedLookupMap() to addToImplicitlyConvertedLookupMap().

Deprecated methods:

  • DisallowedSideEffects.noArgumentMethod() => ElementUtils.resolveNoArgumentCall()

Closed issues

#6849, #6864, #6872, #8018, #8300, #8320, #8323, #8340, #8343.

Commits
  • 1603378 new release 4.4.0
  • 5c673f3 Fix some links.
  • e32e41c Update deprecation since versions to 4.4.0
  • f50337d Prep for release.
  • caed37c Update cimg/base Docker tag to v2026.11 (#8474)
  • 6fb495a ToIndexFileConverter: load classes with the right class loader, and handle va...
  • 127fcec Document the "Cannot attach type annotations" error on JDK 22+ (#8468)
  • dbba49e Update plugin net-ltgt-errorprone to v5.2.0 (#8472)
  • 11758b8 Fix typo "languages features" in test comments (#8463)
  • 2a4f225 Update dependency org.apache.spark:spark-sql_2.13 to v4.3.0 (#8471)
  • Additional commits viewable in compare view

Updates com.google.errorprone:error_prone_core from 2.51.0 to 2.52.0

Release notes

Sourced from com.google.errorprone:error_prone_core's releases.

Error Prone 2.52.0

New checks:

  • AlmostExhaustiveTestParameter: Prefer an exhaustive @TestParameter with an assumption to filter out specific enum values, so newly added enum values are automatically tested (disabled by default).
  • SingleTestParameter: Suggest @TestParameter on the parameter instead of @TestParameters when there is only one test parameter, replacing PreferTestParameter (disabled by default).
  • SingleValueTestParameter: Suggest replacing a @TestParameter that has only a single value with a local variable in the test method (disabled by default).
  • ValueClassEquals: Require non-record concrete value classes to explicitly override equals and hashCode.

Other changes:

  • LoopToTestParameter: Changed severity to SUGGESTION (disabled by default).
  • DistinctVarargsChecker: Allow duplicate arguments to Iterables.concat (#6239) and Mockito argument matchers such as any() (#6240).
  • UnusedVariable: Treat fields accessed via MethodHandles.Lookup (VarHandle/getter/setter lookups) or Atomic*FieldUpdater.newUpdater as used.
  • StringBuilderInitWithChar / StringBuffer refactoring: Refactor StringBuffer to StringBuilder even when used with Matcher.appendReplacement and appendTail (when supported by the target JDK or Android minSdkVersion).
  • CompileTimeConstant: Treat record and interface fields and field accesses on compile-time constants (compileTimeConstant.compileTimeConstantField) as compile-time constants.
  • ValueClassIdentity / ReferenceEquality: Handle JEP 401 value classes.
  • FieldCanBeFinal / ThreadSafety: Improve compile-time performance on large classes and deep type hierarchies, and update SafeRE to 1.1.0 (#6230).
  • Added ClassName for caching resolved ClassSymbol, Type, and binary Name lookups across a compilation.

Closed issues: #5964, #6165, #6230, #6239, #6240, #6275

Full changelog: google/error-prone@v2.51.0...v2.52.0

Commits
  • 1e32314 Release Error Prone 2.52.0
  • ea4c6df Avoid calling SuggestedFixes.compilesWithFix in FieldCanBeFinal
  • 04640b8 Update SafeRE to 1.1.0
  • 6034e09 Bump the dependencies group across 1 directory with 8 updates
  • 3cc36d5 Bump actions/setup-java from 6.0.1 to 6.1.0 in the github-actions group (#6270)
  • 0202185 Migrate class and annotation name constants in Error Prone to ClassName.
  • cdf0d94 Add ASTHelpers.overridesObjectEquals and overridesObjectHashCode helpers.
  • 208015e Update MemoizeConstantVisitorStateLookups to suggest ClassName.
  • e1a8a3e Add ValueClassEquals to require non-record concrete value classes to over...
  • 2c6baed Handle JEP 401 value classes in ValueClassIdentity and ReferenceEquality
  • Additional commits viewable in compare view

Updates org.checkerframework:checker from 4.3.1 to 4.4.0

Release notes

Sourced from org.checkerframework:checker's releases.

Checker Framework 4.4.0

Version 4.4.0 (2026-11-02)

User-visible changes

A method with a purity annotation may call the functional method of one of its functional-interface parameters, such as f.apply(x) for a parameter Function f; the call is treated as having the method's purity. In exchange, under -AcheckPurityAnnotations, each argument passed to such a parameter must have that purity, or the new error purity.functional.argument is issued. This affects calls to JDK methods such as Optional.map and Comparator.comparing that are passed lambdas with side effects, and calls to @Pure methods such as Objects.requireNonNull(T, Supplier) that are passed a lambda that is not deterministic, such as one that calls String.format. See the manual section "Lambdas, method references, and functional interfaces".

Changes for type system implementers

New class AbstractSetInclusionQualifierHierarchy is the superclass of SubtypeIsSubsetQualifierHierarchy and SubtypeIsSupersetQualifierHierarchy.

Removed TreeUtils.hasSyntheticArgument(), which always returned false.

A subclass of CFAbstractValue or CFValue that adds state must override equals() and hashCode() to account for that state.

New method BaseTypeVisitor.shouldSkipClass() lets a checker skip a class entirely, including dataflow analysis.

Removed classes ByteMath, ShortMath, IntegerMath, LongMath, FloatMath, and DoubleMath. Use NumberMath.getNumberMath() instead. NumberMath is now a final, non-generic class. NumberMath.getNumberMath() throws UnsupportedOperationException, rather than returning null, for an unsupported Number subclass, such as BigInteger.

PurityChecker.checkPurity() takes two new arguments: the method declaration that lexically encloses the statement being checked (or null, as for an arbitrary expression) and the processing environment.

Renamed ControlFlowGraph.convertedTreeLookup to implicitlyConvertedTreeLookup and CFGTranslationPhaseOne.addToConvertedLookupMap() to addToImplicitlyConvertedLookupMap().

Deprecated methods:

  • DisallowedSideEffects.noArgumentMethod() => ElementUtils.resolveNoArgumentCall()

Closed issues

#6849, #6864, #6872, #8018, #8300, #8320, #8323, #8340, #8343.

Changelog

Sourced from org.checkerframework:checker's changelog.

Version 4.4.0 (2026-11-02)

User-visible changes

A method with a purity annotation may call the functional method of one of its functional-interface parameters, such as f.apply(x) for a parameter Function f; the call is treated as having the method's purity. In exchange, under -AcheckPurityAnnotations, each argument passed to such a parameter must have that purity, or the new error purity.functional.argument is issued. This affects calls to JDK methods such as Optional.map and Comparator.comparing that are passed lambdas with side effects, and calls to @Pure methods such as Objects.requireNonNull(T, Supplier) that are passed a lambda that is not deterministic, such as one that calls String.format. See the manual section "Lambdas, method references, and functional interfaces".

Changes for type system implementers

New class AbstractSetInclusionQualifierHierarchy is the superclass of SubtypeIsSubsetQualifierHierarchy and SubtypeIsSupersetQualifierHierarchy.

Removed TreeUtils.hasSyntheticArgument(), which always returned false.

A subclass of CFAbstractValue or CFValue that adds state must override equals() and hashCode() to account for that state.

New method BaseTypeVisitor.shouldSkipClass() lets a checker skip a class entirely, including dataflow analysis.

Removed classes ByteMath, ShortMath, IntegerMath, LongMath, FloatMath, and DoubleMath. Use NumberMath.getNumberMath() instead. NumberMath is now a final, non-generic class. NumberMath.getNumberMath() throws UnsupportedOperationException, rather than returning null, for an unsupported Number subclass, such as BigInteger.

PurityChecker.checkPurity() takes two new arguments: the method declaration that lexically encloses the statement being checked (or null, as for an arbitrary expression) and the processing environment.

Renamed ControlFlowGraph.convertedTreeLookup to implicitlyConvertedTreeLookup and CFGTranslationPhaseOne.addToConvertedLookupMap() to addToImplicitlyConvertedLookupMap().

Deprecated methods:

  • DisallowedSideEffects.noArgumentMethod() => ElementUtils.resolveNoArgumentCall()

Closed issues

#6849, #6864, #6872, #8018, #8300, #8320, #8323, #8340, #8343.

Commits
  • 1603378 new release 4.4.0
  • 5c673f3 Fix some links.
  • e32e41c Update deprecation since versions to 4.4.0
  • f50337d Prep for release.
  • caed37c Update cimg/base Docker tag to v2026.11 (#8474)
  • 6fb495a ToIndexFileConverter: load classes with the right class loader, and handle va...
  • 127fcec Document the "Cannot attach type annotations" error on JDK 22+ (#8468)
  • dbba49e Update plugin net-ltgt-errorprone to v5.2.0 (#8472)
  • 11758b8 Fix typo "languages features" in test comments (#8463)
  • 2a4f225 Update dependency org.apache.spark:spark-sql_2.13 to v4.3.0 (#8471)
  • Additional commits viewable in compare view

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 commands and options

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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
  • @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
  • @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
  • @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
  • @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

@dependabot
chore(java): Bump the linters group in /java with 3 updates
d59b1ca 
Bumps the linters group in /java with 3 updates: [org.checkerframework:checker-qual](https://github.com/typetools/checker-framework), [org.checkerframework:checker](https://github.com/typetools/checker-framework) and [com.google.errorprone:error_prone_core](https://github.com/google/error-prone).


Updates `org.checkerframework:checker-qual` from 4.3.1 to 4.4.0
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](typetools/checker-framework@checker-framework-4.3.1...checker-framework-4.4.0)

Updates `org.checkerframework:checker` from 4.3.1 to 4.4.0
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](typetools/checker-framework@checker-framework-4.3.1...checker-framework-4.4.0)

Updates `com.google.errorprone:error_prone_core` from 2.51.0 to 2.52.0
- [Release notes](https://github.com/google/error-prone/releases)
- [Commits](google/error-prone@v2.51.0...v2.52.0)

Updates `org.checkerframework:checker` from 4.3.1 to 4.4.0
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](typetools/checker-framework@checker-framework-4.3.1...checker-framework-4.4.0)

---
updated-dependencies:
- dependency-name: org.checkerframework:checker-qual
  dependency-version: 4.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: linters
- dependency-name: org.checkerframework:checker
  dependency-version: 4.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: linters
- dependency-name: com.google.errorprone:error_prone_core
  dependency-version: 2.52.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: linters
- dependency-name: org.checkerframework:checker
  dependency-version: 4.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: linters
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot
dependabot Bot requested a review from lidavidm as a code owner November 10, 2026 20:24
@dependabot dependabot Bot added dependencies Dependabot-only java Pull requests that update Java code labels Nov 10, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@lidavidm lidavidm Awaiting requested review from lidavidm lidavidm is a code owner

Assignees

No one assigned

Labels

dependencies Dependabot-only java Pull requests that update Java code

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants