PrintAst: report pattern-cases similar to pattern-instanceof

smowton · smowton · commit a06ac425125e · 2023-11-30T11:23:58.000Z
diff --git a/java/ql/lib/semmle/code/java/PrintAst.qll b/java/ql/lib/semmle/code/java/PrintAst.qll
@@ -423,7 +423,8 @@ private class SingleLocalVarDeclParent extends ExprOrStmt {
   SingleLocalVarDeclParent() {
     this instanceof EnhancedForStmt or
     this instanceof CatchClause or
-    this.(InstanceOfExpr).isPattern()
+    this.(InstanceOfExpr).isPattern() or
+    this instanceof PatternCase
   }
 
   /** Gets the variable declaration that this element contains */

Original file line number	Diff line number	Diff line change
`@@ -423,7 +423,8 @@ private class SingleLocalVarDeclParent extends ExprOrStmt {`
`423`	`423`	`SingleLocalVarDeclParent() {`
`424`	`424`	`this instanceof EnhancedForStmt or`
`425`	`425`	`this instanceof CatchClause or`
`426`		`- this.(InstanceOfExpr).isPattern()`
	`426`	`+ this.(InstanceOfExpr).isPattern() or`
	`427`	`+ this instanceof PatternCase`
`427`	`428`	`}`
`428`	`429`
`429`	`430`	`/** Gets the variable declaration that this element contains */`