Skip to content

Java: Move extractorInformationSkipKey predicate to library pack #20134

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 29, 2025

Conversation

IdrissRio
Copy link
Contributor

@IdrissRio IdrissRio commented Jul 28, 2025

Fixes compilation error where extensible predicate was declared in the same pack that was trying to extend it.

See internal PR for more details.

@github-actions github-actions bot added the Java label Jul 28, 2025
@IdrissRio IdrissRio force-pushed the idrissrio/java-dca-fix branch from 85b2afa to 56cd9e7 Compare July 28, 2025 14:47
@IdrissRio IdrissRio force-pushed the idrissrio/java-dca-fix branch from 56cd9e7 to ac52a1b Compare July 29, 2025 07:45
@IdrissRio IdrissRio added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Jul 29, 2025
@IdrissRio IdrissRio marked this pull request as ready for review July 29, 2025 08:28
@Copilot Copilot AI review requested due to automatic review settings July 29, 2025 08:28
@IdrissRio IdrissRio requested a review from a team as a code owner July 29, 2025 08:28
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR fixes a compilation error by moving the extractorInformationSkipKey extensible predicate from the codeql/java-queries pack to the codeql/java-all library pack. The issue occurred because an extensible predicate was declared in the same pack that was trying to extend it, which is not allowed in CodeQL.

Key changes:

  • Moved the extractorInformationSkipKey predicate definition from ExtractorInformation.ql to the library file Diagnostics.qll
  • Updated all extension configuration files to reference the correct pack (codeql/java-all instead of codeql/java-queries)

Reviewed Changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Show a summary per file
File Description
java/ql/src/Telemetry/ExtractorInformation.yml Updated pack reference from codeql/java-queries to codeql/java-all
java/ql/src/Telemetry/ExtractorInformation.ql Removed the extensible predicate declaration
java/ql/lib/semmle/code/java/Diagnostics.qll Added the extensible predicate with documentation
java/ql/integration-tests/kotlin/all-platforms/extractor_information_kotlin2/ExtractorInformation.ext.yml Updated pack reference from codeql/java-queries to codeql/java-all
java/ql/integration-tests/kotlin/all-platforms/extractor_information_kotlin1/ExtractorInformation.ext.yml Updated pack reference from codeql/java-queries to codeql/java-all

@IdrissRio IdrissRio added the no-change-note-required This PR does not need a change note label Jul 29, 2025
Copy link
Contributor

@esteffin esteffin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@IdrissRio IdrissRio merged commit 6c00cea into main Jul 29, 2025
18 of 24 checks passed
@IdrissRio IdrissRio deleted the idrissrio/java-dca-fix branch July 29, 2025 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
depends on internal PR This PR should only be merged in sync with an internal Semmle PR Java no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants