hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Add DB upgrade scripts

Browse Source
This commit is contained in:
Tom Hvitved
2025-10-21 13:57:24 +02:00
parent 944ebc5267
commit 8b10f68e28
4 changed files with 7253 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3615
rust/ql/lib/upgrades/dfade44a27bd44db996ae8c5095a11effc883aba/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

3615
rust/ql/lib/upgrades/dfade44a27bd44db996ae8c5095a11effc883aba/rust.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

8
rust/ql/lib/upgrades/dfade44a27bd44db996ae8c5095a11effc883aba/upgrade.properties Normal file
View File

@@ -0,0 +1,8 @@
description: Rename function/closure body relations
compatibility: backwards
closure_expr_bodies.rel: delete
function_bodies.rel: delete
closure_expr_closure_bodies.rel: run upgrade.ql new_closure_expr_closure_bodies
function_function_bodies.rel: run upgrade.ql new_function_function_bodies

15
rust/ql/lib/upgrades/dfade44a27bd44db996ae8c5095a11effc883aba/upgrade.ql Normal file
View File

@@ -0,0 +1,15 @@
class Element extends @element {
string toString() { none() }
}
class Expr extends Element, @expr { }
class ClosureExpr extends Expr, @closure_expr { }
class Function extends Element, @function { }
query predicate new_closure_expr_closure_bodies(ClosureExpr ce, Expr e) {
closure_expr_bodies(ce, e)
}
query predicate new_function_function_bodies(Function f, Expr e) { function_bodies(f, e) }