Skip to content

Java: Add support to Compact Source Files #20116

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

Draft
wants to merge 6 commits into
base: main
Choose a base branch
from

Conversation

IdrissRio
Copy link
Contributor

This PR adds support to compact source files (JEP 512).
I adds 2 new predicates Class.isImplicit and CompilationUnit.isCompactedSourceFile.

See internal PR for more info.

@IdrissRio IdrissRio added depends on internal PR This PR should only be merged in sync with an internal Semmle PR and removed documentation labels Jul 23, 2025
@IdrissRio IdrissRio force-pushed the idrissrio/compact-soruce-file branch from 05f6811 to 66b5755 Compare July 23, 2025 13:27
@IdrissRio IdrissRio force-pushed the idrissrio/compact-soruce-file branch 3 times, most recently from 6aac6ea to 246bbd4 Compare July 24, 2025 10:41
@IdrissRio IdrissRio force-pushed the idrissrio/compact-soruce-file branch 3 times, most recently from a5c64a6 to c9885d5 Compare July 28, 2025 14:50
@IdrissRio IdrissRio changed the base branch from main to idrissrio/java-dca-fix July 29, 2025 07:28
@IdrissRio IdrissRio force-pushed the idrissrio/java-dca-fix branch from 56cd9e7 to ac52a1b Compare July 29, 2025 07:45
Base automatically changed from idrissrio/java-dca-fix to main July 29, 2025 14:32
@IdrissRio IdrissRio force-pushed the idrissrio/compact-soruce-file branch from 41a7747 to 7e04c2b Compare July 29, 2025 14:51
@IdrissRio IdrissRio force-pushed the idrissrio/compact-soruce-file branch from 7e04c2b to 5a80595 Compare July 29, 2025 15:31
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 documentation Java
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant