Java: extend definition of isCompilerGenerated for classes

IdrissRio · IdrissRio · commit e0b954905f8d · 2025-08-21T15:29:17.000+02:00
diff --git a/java/ql/lib/semmle/code/java/Type.qll b/java/ql/lib/semmle/code/java/Type.qll
@@ -702,6 +702,9 @@ 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 isImplicit() }
+
   /**
    * Gets an annotation that applies to this class.
    *

Original file line number	Diff line number	Diff line change
`@@ -702,6 +702,9 @@ class Class extends ClassOrInterface {`
`702`	`702`	`/** Holds if this class is an implicit class (compact source file). */`
`703`	`703`	`predicate isImplicit() { isImplicitClass(this.getSourceDeclaration()) }`
`704`	`704`
	`705`	`+ /** Holds if this is an auxiliary program element generated by the compiler. */`
	`706`	`+ override predicate isCompilerGenerated() { super.isCompilerGenerated() or isImplicit() }`
	`707`	`+`
`705`	`708`	`/**`
`706`	`709`	`* Gets an annotation that applies to this class.`
`707`	`710`	`*`