Add missing qldoc

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

@@ -2556,5 +2556,8 @@ class RecordPatternExpr extends Expr, @recordpatternexpr {
 
   override string getAPrimaryQlClass() { result = "RecordPatternExpr" }
 
+  /**
+   * Gets the `i`th subpattern of this record pattern.
+   */
   Pattern getSubPattern(int i) { result.isNthChildOf(this, i) }
 }

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

@@ -542,8 +542,14 @@ class Pattern extends Expr {
     (this instanceof LocalVariableDeclExpr or this instanceof RecordPatternExpr)
   }
 
+  /**
+   * Gets this pattern cast to a binding pattern.
+   */
   LocalVariableDeclExpr asBindingPattern() { result = this }
 
+  /**
+   * Gets this pattern cast to a record pattern.
+   */
   RecordPatternExpr asRecordPattern() { result = this }
 }