Skip to content

Commit 92f7afa

Browse files
committed
Java: extend definition of isCompilerGenerated for classes
1 parent 6633952 commit 92f7afa

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -702,6 +702,11 @@ class Class extends ClassOrInterface {
702702
/** Holds if this class is an implicit class (compact source file). */
703703
predicate isImplicit() { isImplicitClass(this.getSourceDeclaration()) }
704704

705+
/** Holds if this is an auxiliary program element generated by the compiler. */
706+
override predicate isCompilerGenerated() {
707+
super.isCompilerGenerated() or isImplicit()
708+
}
709+
705710
/**
706711
* Gets an annotation that applies to this class.
707712
*

0 commit comments

Comments
 (0)