Swift: add database migration scripts

This commit is contained in:
Alex Denisov
2023-11-15 14:04:48 +01:00
parent 1f5be03137
commit 7129ffc199
7 changed files with 10968 additions and 0 deletions

View File

@@ -0,0 +1,11 @@
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 = "Macro declarations removed during database downgrade. Please update your CodeQL code." and
property = "" and
macro_decls(e, _)
}

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,11 @@
description: Removes MacroDecls
compatibility: partial
unspecified_elements.rel: run downgrade.ql new_unspecified_elements
macro_decls.rel: delete
macro_roles.rel: delete
macro_role_conformances.rel: delete
macro_role_names.rel: delete
macro_decl_parameters.rel: delete
macro_decl_roles.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: Adds extraction of MacroDecl
compatibility: partial