Java 14: add class Record to Type.qll

yo-h · yo-h · commit 662cff831640 · 2020-04-07T22:22:08.000-04:00
diff --git 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() {

Original file line number	Diff line number	Diff line change
`@@ -615,6 +615,11 @@ class Class extends RefType, @class {`
`615`	`615`	`}`
`616`	`616`	`}`
`617`	`617`
	`618`	`+/** A record declaration. */`
	`619`	`+class Record extends Class {`
	`620`	`+ Record() { isRecord(this) }`
	`621`	`+}`
	`622`	`+`
`618`	`623`	`/** An intersection type. */`
`619`	`624`	`class IntersectionType extends RefType, @class {`
`620`	`625`	`IntersectionType() {`