Merge pull request #14567 from github/redsun82/swift-case-variables

Swift: clean up `VarDecl`, `NamedPattern` and `SwitchStmt` interactions
github · Oct 30, 2023 · 3a9ffe1 · 3a9ffe1
2 parents c4521a3 + 9e2f0b5
commit 3a9ffe1
Show file tree

Hide file tree

Showing 50 changed files with 13,850 additions and 396 deletions.
diff --git a/swift/downgrades/7c17e1f4b2d30f2da05bfa667c621ddd418eb151/named_patterns.ql b/swift/downgrades/7c17e1f4b2d30f2da05bfa667c621ddd418eb151/named_patterns.ql
@@ -0,0 +1,16 @@
+// Change the second column in named_patterns from a @var_decl to a string
+class NamedPattern extends @named_pattern {
+  VarDecl getVarDecl() { named_patterns(this, result) }
+
+  string toString() { none() }
+}
+
+class VarDecl extends @var_decl {
+  string getName() { var_decls(this, result, _) }
+
+  string toString() { none() }
+}
+
+from NamedPattern np, VarDecl d, string name
+where d = np.getVarDecl() and name = d.getName()
+select np, name