Java 14: add class Record to Type.qll

2026-03-01 05:13:41 +01:00 · 2020-03-07 22:27:47 -05:00
parent e1787f58aa
commit 662cff8316
1 changed files with 5 additions and 0 deletions
--- a/java/ql/src/semmle/code/java/Type.qll
+++ b/java/ql/src/semmle/code/java/Type.qll
@@ -615,6 +615,11 @@ class Class extends RefType, @class {
  }
 }

+/** A record declaration. */
+class Record extends Class {
+  Record() { isRecord(this) }
+}
+
 /** An intersection type. */
 class IntersectionType extends RefType, @class {
  IntersectionType() {