Simplify PatternExpr definition

smowton · smowton · commit b731b8d30ae6 · 2023-11-30T11:24:02.000Z
diff --git a/java/ql/lib/semmle/code/java/Expr.qll b/java/ql/lib/semmle/code/java/Expr.qll
@@ -2633,7 +2633,7 @@ class PatternExpr extends Expr {
     (
       this.getParent() instanceof SwitchCase or
       this.getParent() instanceof InstanceOfExpr or
-      this.getParent() instanceof PatternExpr
+      this.getParent() instanceof RecordPatternExpr
     ) and
     (this instanceof LocalVariableDeclExpr or this instanceof RecordPatternExpr)
   }

Original file line number	Diff line number	Diff line change
`@@ -2633,7 +2633,7 @@ class PatternExpr extends Expr {`
`2633`	`2633`	`(`
`2634`	`2634`	`this.getParent() instanceof SwitchCase or`
`2635`	`2635`	`this.getParent() instanceof InstanceOfExpr or`
`2636`		`- this.getParent() instanceof PatternExpr`
	`2636`	`+ this.getParent() instanceof RecordPatternExpr`
`2637`	`2637`	`) and`
`2638`	`2638`	`(this instanceof LocalVariableDeclExpr or this instanceof RecordPatternExpr)`
`2639`	`2639`	`}`