Java 14: add PREVIEW FEATURE notes to QLDoc

yo-h · yo-h · commit 9a79e3be2c72 · 2020-04-07T22:22:10.000-04:00
diff --git a/java/ql/src/semmle/code/java/Expr.qll b/java/ql/src/semmle/code/java/Expr.qll
@@ -1136,10 +1136,18 @@ class InstanceOfExpr extends Expr, @instanceofexpr {
     else result.isNthChildOf(this, 0)
   }
 
-  /** Holds if this `instanceof` expression uses pattern matching. */
+  /**
+   * PREVIEW FEATURE in Java 14. Subject to removal in a future release.
+   *
+   * Holds if this `instanceof` expression uses pattern matching.
+   */
   predicate isPattern() { exists(getLocalVariableDeclExpr()) }
 
-  /** Gets the local variable declaration of this `instanceof` expression if pattern matching is used. */
+  /**
+   * PREVIEW FEATURE in Java 14. Subject to removal in a future release.
+   *
+   * Gets the local variable declaration of this `instanceof` expression if pattern matching is used.
+   */
   LocalVariableDeclExpr getLocalVariableDeclExpr() { result.isNthChildOf(this, 0) }
 
   /** Gets the access to the type on the right-hand side of the `instanceof` operator. */
diff --git a/java/ql/src/semmle/code/java/Type.qll b/java/ql/src/semmle/code/java/Type.qll
@@ -615,7 +615,11 @@ class Class extends RefType, @class {
   }
 }
 
-/** A record declaration. */
+/**
+ * PREVIEW FEATURE in Java 14. Subject to removal in a future release.
+ *
+ * A record declaration.
+ */
 class Record extends Class {
   Record() { isRecord(this) }
 }

Original file line number	Diff line number	Diff line change
`@@ -615,7 +615,11 @@ class Class extends RefType, @class {`
`615`	`615`	`}`
`616`	`616`	`}`
`617`	`617`
`618`		`-/** A record declaration. */`
	`618`	`+/**`
	`619`	`+ * PREVIEW FEATURE in Java 14. Subject to removal in a future release.`
	`620`	`+ *`
	`621`	`+ * A record declaration.`
	`622`	`+ */`
`619`	`623`	`class Record extends Class {`
`620`	`624`	`Record() { isRecord(this) }`
`621`	`625`	`}`