Skip to content

Commit 811c33b

Browse files
committed
Swift: finish downgrade script for for-in PR
1 parent 92fdb7a commit 811c33b

File tree

2 files changed

+15
-3
lines changed

2 files changed

+15
-3
lines changed

swift/downgrades/309d412a592bd14eb8bf3d57e1f3f0915f5ced9c/for_in_downgrade.ql

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -113,12 +113,22 @@ query predicate new_concrete_var_decls(Element decl, int introducer_int) {
113113
not exists(ForEachStmt stmt | stmt.getIteratorVarConcreteDecl() = decl)
114114
}
115115

116-
query predicate new_var_decls(NewElement decl, string name, Element type) {
116+
query predicate new_var_decls(Element decl, string name, Element type) {
117117
var_decls(decl, name, type) and
118118
not exists(ForEachStmt stmt | stmt.getIteratorVarConcreteDecl() = decl)
119119
}
120120

121-
query predicate new_expr_types(NewElement expr, NewElement type) {
121+
query predicate new_var_decl_parent_patterns(Element decl, Element pattern) {
122+
var_decl_parent_patterns(decl, pattern) and
123+
not exists(ForEachStmt stmt | stmt.getIteratorVarConcreteDecl() = decl)
124+
}
125+
126+
query predicate new_var_decl_parent_initializers(Element decl, Element init) {
127+
var_decl_parent_initializers(decl, init) and
128+
not exists(ForEachStmt stmt | stmt.getIteratorVarConcreteDecl() = decl)
129+
}
130+
131+
query predicate new_expr_types(Element expr, Element type) {
122132
expr_types(expr, type) and
123133
not exists(ForEachStmt stmt |
124134
expr = stmt.getNextCall() or

swift/downgrades/309d412a592bd14eb8bf3d57e1f3f0915f5ced9c/upgrade.properties

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,4 +18,6 @@ call_exprs.rel: run for_in_downgrade.qlo new_call_exprs
1818
locatable_locations.rel: run for_in_downgrade.qlo new_locatable_locations
1919
var_decls.rel: run for_in_downgrade.qlo new_var_decls
2020
concrete_var_decls.rel: run for_in_downgrade.qlo new_concrete_var_decls
21-
expr_types.rel: run for_in_downgrade.qlo new_expr_types
21+
expr_types.rel: run for_in_downgrade.qlo new_expr_types
22+
var_decl_parent_initializers.rel: run for_in_upgrade.qlo new_var_decl_parent_initializers
23+
var_decl_parent_patterns.rel: run for_in_upgrade.qlo new_var_decl_parent_patterns

0 commit comments

Comments
 (0)