Pretty-print AST: handle instanceof with record pattern

smowton · smowton · commit 5b734fe93772 · 2023-11-30T11:24:00.000Z
diff --git a/java/ql/lib/semmle/code/java/PrettyPrintAst.qll b/java/ql/lib/semmle/code/java/PrettyPrintAst.qll
@@ -385,7 +385,12 @@ private class PpInstanceOfExpr extends PpAst, InstanceOfExpr {
     or
     i = 3 and result = " " and this.isPattern()
     or
-    i = 4 and result = this.getLocalVariableDeclExpr().getName()
+    i = 4 and
+    (
+      result = this.getPattern().asBindingPattern().getName()
+      or
+      result = this.getPattern().asRecordPattern().toString()
+    )
   }
 
   override PpAst getChild(int i) {
