Skip to content

Commit ece0d1f

Browse files
committed
Swift: add upgrade/downgrade scripts
1 parent bfce01c commit ece0d1f

File tree

7 files changed

+11157
-0
lines changed

7 files changed

+11157
-0
lines changed
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
class Element extends @element {
2+
string toString() { none() }
3+
}
4+
5+
query predicate new_unspecified_elements(Element e, string property, string error) {
6+
unspecified_elements(e, property, error)
7+
or
8+
error =
9+
"ThenStmt nodes removed during database downgrade. Please update your CodeQL code." and
10+
property = "" and
11+
then_stmts(e, _)
12+
}
13+
14+
query predicate new_unspecified_element_children(Element e, int index, Element child) {
15+
unspecified_element_children(e, index, child)
16+
or
17+
then_stmts(e, child) and index = 0
18+
}

0 commit comments

Comments
 (0)