Java: Add support to Compact Source Files

java/downgrades/9f6026c400996c13842974b24f076a486ad1f69c/upgrade.properties

@@ -0,0 +1,3 @@
+description: Remove Java 25 compact source files support by removing `isImplicitClass` table
+compatibility: partial
+isImplicitClass.rel: delete

java/ql/lib/change-notes/2025-07-23-compact-source-files.md

@@ -0,0 +1,4 @@
+---
+category: feature
+---
+* Added support for Java 25 compact source files (JEP 512). The new predicate `Class.isImplicit()` identifies classes that are implicitly declared when using compact source files, and the new predicate `CompilationUnit.isCompactSourceFile()` identifies compilation units that contain compact source files.

java/ql/lib/config/semmlecode.dbscheme

@@ -537,6 +537,10 @@ isLocalClassOrInterface(
   int parent: @localtypedeclstmt ref
 );
 
+isImplicitClass(
+  unique int classid: @classorinterface ref
+);
+
 isDefConstr(
   int constructorid: @constructor ref
 );

java/ql/lib/semmle/code/java/CompilationUnit.qll

@@ -33,5 +33,13 @@ class CompilationUnit extends Element, File {
    */
   Module getModule() { cumodule(this, result) }
 
+  /**
+   * Holds if this compilation unit represents a compact source file.
+   * A compact source file contains an implicitly declared top-level class.
+   */
+  predicate isCompactSourceFile() {
+    exists(Class c | c.getCompilationUnit() = this and c.isImplicit())
+  }
+
   override string getAPrimaryQlClass() { result = "CompilationUnit" }
 }

java/ql/lib/semmle/code/java/Diagnostics.qll

@@ -61,3 +61,9 @@ class Diagnostic extends @diagnostic {
   /** Gets a textual representation of this diagnostic. */
   string toString() { result = this.getMessage() }
 }
+
+/**
+ * Holds for extraction information keys that should be skipped from telemetry reports.
+ * This predicate can be extended by other packs to filter out specific telemetry keys.
+ */
+extensible predicate extractorInformationSkipKey(string key);

java/ql/lib/semmle/code/java/Type.qll

@@ -699,6 +699,9 @@ class Class extends ClassOrInterface {
   /** Holds if this class is an anonymous class. */
   predicate isAnonymous() { isAnonymClass(this.getSourceDeclaration(), _) }
 
+  /** Holds if this class is an implicit class (compact source file). */
+  predicate isImplicit() { isImplicitClass(this.getSourceDeclaration()) }
+
   /**
    * Gets an annotation that applies to this class.
    *