Swift: Add upgrade and downgrade scripts

swift/downgrades/33e5e5e03bd3f98322f4c67aefa81015be832b88/downgrades.ql

@@ -0,0 +1,59 @@
+class Element extends @element {
+  string toString() { none() }
+}
+
+class Expr extends @expr {
+  string toString() { none() }
+}
+
+class Decl extends @decl {
+  string toString() { none() }
+}
+
+class DeclOrNone extends @decl_or_none {
+  string toString() { none() }
+}
+
+class ModuleOrNone extends @module_decl_or_none {
+  string toString() { none() }
+}
+
+class Type extends @type {
+  string toString() { none() }
+}
+
+class TypeOrNone extends @type_or_none {
+  string toString() { none() }
+}
+
+query predicate new_decls(Decl decl, ModuleOrNone moduleOrNone) {
+  decls(decl, moduleOrNone) and not using_decls(decl)
+}
+
+query predicate new_decl_members(Decl decl, int index, DeclOrNone declOrNone) {
+  decl_members(decl, index, declOrNone) and not using_decls(decl)
+}
+
+query predicate new_expr_types(Expr id, TypeOrNone typeOrNone) {
+  expr_types(id, typeOrNone) and not unsafe_exprs(id)
+}
+
+query predicate new_types(Type id, string name, TypeOrNone typeOrNone) {
+  types(id, name, typeOrNone) and not inline_array_types(id, _, _)
+}
+
+query predicate new_unspecified_elements(Element id, string property, string error) {
+  unspecified_elements(id, property, error)
+  or
+  using_decls(id) and
+  property = "" and
+  error = "UsingDecl removed during database downgrade. Please update your CodeQL."
+  or
+  unsafe_exprs(id) and
+  property = "" and
+  error = "UnsafeExpr removed during database downgrade. Please update your CodeQL."
+  or
+  inline_array_types(id, _, _) and
+  property = "" and
+  error = "InlineArrayType removed during database downgrade. Please update your CodeQL."
+}

swift/downgrades/33e5e5e03bd3f98322f4c67aefa81015be832b88/upgrade.properties

@@ -0,0 +1,16 @@
+description: Support AST elements new in Swift 6.2
+compatibility: backwards
+accessor_is_distributed_get.rel: delete
+accessor_is_read2.rel: delete
+accessor_is_modify2.rel: delete
+accessor_is_init.rel: delete
+decls.rel: run downgrades.qlo new_decls
+decl_members.rel: run downgrades.qlo new_decl_members
+expr_types.rel: run downgrades.qlo new_expr_types
+inline_array_types.rel: delete
+types.rel: run downgrades.qlo new_types
+unsafe_exprs.rel: delete
+unspecified_elements.rel: run downgrades.qlo new_unspecified_elements
+using_decls.rel: delete
+using_decl_is_main_actor.rel: delete
+using_decl_is_nonisolated.rel: delete

swift/ql/lib/upgrades/b7006eaacb007a06251596835506185619b86e98/upgrade.properties

@@ -0,0 +1,2 @@
+description: Support AST elements new in Swift 6.2
+compatibility: full