Swift: add upgrade/downgrade scripts

This commit is contained in:
Paolo Tranquilli
2024-03-28 11:54:18 +01:00
parent bfce01cef6
commit ece0d1f477
7 changed files with 11157 additions and 0 deletions

View File

@@ -0,0 +1,18 @@
class Element extends @element {
string toString() { none() }
}
query predicate new_unspecified_elements(Element e, string property, string error) {
unspecified_elements(e, property, error)
or
error =
"ThenStmt nodes removed during database downgrade. Please update your CodeQL code." and
property = "" and
then_stmts(e, _)
}
query predicate new_unspecified_element_children(Element e, int index, Element child) {
unspecified_element_children(e, index, child)
or
then_stmts(e, child) and index = 0
}

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,5 @@
description: Remove `ThenStmt` wrapper nodes.
compatibility: partial
unspecified_elements.rel: run downgrade.ql new_unspecified_elements
unspecified_element_children.rel: run downgrade.ql new_unspecified_element_children
then_stmts.rel: delete

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@@ -0,0 +1,2 @@
description: Add `ThenStmt` wrapper nodes.
compatibility: full