PrintAst: report pattern-cases similar to pattern-instanceof

2026-04-22 23:35:14 +02:00 · 2023-10-26 15:41:43 +01:00
parent b6622d2f5b
commit a06ac42512
1 changed files with 2 additions and 1 deletions
--- 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 */