Java: remove isImplict()

2026-05-18 05:07:06 +02:00 · 2025-09-08 08:16:49 +02:00
1 changed files with 0 additions and 6 deletions
--- a/java/ql/lib/semmle/code/java/Type.qll
+++ b/java/ql/lib/semmle/code/java/Type.qll
@@ -703,12 +703,6 @@ class Class extends ClassOrInterface {
  /** Holds if this class is an implicit class (compact source file). */
  predicate isImplicit() { isImplicitClass(this.getSourceDeclaration()) }

-  /** Holds if this is an auxiliary program element generated by the compiler. */
-  override predicate isCompilerGenerated() {
-    super.isCompilerGenerated() or
-    this.isImplicit()
-  }
-
  /**
   * Gets an annotation that applies to this class.
   *