Kotlin: Mark enum class special members as cmopiler-generated

2026-04-28 10:15:14 +02:00 · 2022-06-23 15:01:30 +01:00
parent c5d6ca7afc
commit 20817a54da
2 changed files with 4 additions and 0 deletions
--- a/java/ql/lib/semmle/code/java/Element.qll
+++ b/java/ql/lib/semmle/code/java/Element.qll
@@ -55,6 +55,8 @@ class Element extends @element, Top {
      i = 3 and result = "Default property accessor"
      or
      i = 4 and result = "Class initialisation method <clinit>"
+      or
+      i = 5 and result = "Enum class special member"
    )
  }
 }