mirror of
https://github.com/github/codeql.git
synced 2026-05-05 21:55:19 +02:00
Swift: db upgrade/downgrade script
This commit is contained in:
@@ -0,0 +1,7 @@
|
||||
class AbstractFunctionDecl extends @abstract_function_decl {
|
||||
string toString() { result = "" }
|
||||
}
|
||||
|
||||
query predicate callable_names(AbstractFunctionDecl id, string name) {
|
||||
abstract_function_decls(id, name)
|
||||
}
|
||||
@@ -31,6 +31,12 @@ element_is_unknown(
|
||||
| @abstract_function_decl
|
||||
;
|
||||
|
||||
#keyset[id]
|
||||
callable_names(
|
||||
int id: @callable ref,
|
||||
string name: string ref
|
||||
);
|
||||
|
||||
#keyset[id]
|
||||
callable_self_params(
|
||||
int id: @callable ref,
|
||||
@@ -315,12 +321,6 @@ value_decls( //dir=decl
|
||||
| @func_decl
|
||||
;
|
||||
|
||||
#keyset[id]
|
||||
abstract_function_decls( //dir=decl
|
||||
int id: @abstract_function_decl ref,
|
||||
string name: string ref
|
||||
);
|
||||
|
||||
@abstract_storage_decl =
|
||||
@subscript_decl
|
||||
| @var_decl
|
||||
@@ -870,7 +870,8 @@ if_exprs( //dir=expr
|
||||
);
|
||||
|
||||
@implicit_conversion_expr =
|
||||
@any_hashable_erasure_expr
|
||||
@abi_safe_conversion_expr
|
||||
| @any_hashable_erasure_expr
|
||||
| @archetype_to_super_expr
|
||||
| @array_to_pointer_expr
|
||||
| @bridge_from_obj_c_expr
|
||||
@@ -1129,6 +1130,10 @@ vararg_expansion_exprs( //dir=expr
|
||||
int sub_expr: @expr_or_none ref
|
||||
);
|
||||
|
||||
abi_safe_conversion_exprs( //dir=expr
|
||||
unique int id: @abi_safe_conversion_expr
|
||||
);
|
||||
|
||||
any_hashable_erasure_exprs( //dir=expr
|
||||
unique int id: @any_hashable_erasure_expr
|
||||
);
|
||||
|
||||
@@ -1,2 +1,6 @@
|
||||
description: Add missing Accessor and AccessSemantics cases
|
||||
compatibility: backwards
|
||||
description: Move getName() from AbstractFunctionDecl to Callable
|
||||
compatibility: full
|
||||
|
||||
// Rename abstract_function_decls to callable_names
|
||||
callable_names.rel: run callable_names.qlo
|
||||
abstract_function_decls.rel: delete
|
||||
|
||||
Reference in New Issue
Block a user