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

Swift: add upgrade/downgrade scripts

Browse Source
This commit is contained in:
Paolo Tranquilli
2023-03-29 15:33:46 +02:00
parent 20128adee4
commit 48c2303391
8 changed files with 10434 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
swift/downgrades/db22947f6ae7024092c0da65b4fafb973f2331a3/module_decl_exported_modules.ql Normal file
View File

@@ -0,0 +1,15 @@
class Element extends @element {
string toString() { none() }
}
int getExportedModuleIndex(Element m, Element i) {
i =
rank[result + 1](Element j, string name |
module_decl_exported_modules(m, j) and type_decls(j, name)
|
j order by name
)
}
from Element m, Element i
select m, getExportedModuleIndex(m, i), i

15
swift/downgrades/db22947f6ae7024092c0da65b4fafb973f2331a3/module_decl_imported_modules.ql Normal file
View File

@@ -0,0 +1,15 @@
class Element extends @element {
string toString() { none() }
}
int getImportedModuleIndex(Element m, Element i) {
i =
rank[result + 1](Element j, string name |
module_decl_imported_modules(m, j) and type_decls(j, name)
|
j order by name
)
}
from Element m, Element i
select m, getImportedModuleIndex(m, i), i

2597
swift/downgrades/db22947f6ae7024092c0da65b4fafb973f2331a3/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2601
swift/downgrades/db22947f6ae7024092c0da65b4fafb973f2331a3/swift.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

4
swift/downgrades/db22947f6ae7024092c0da65b4fafb973f2331a3/upgrade.properties Normal file
View File

@@ -0,0 +1,4 @@
description: Revert turning exported and imported modules into unindexed sets
compatibility: full
module_decl_imported_modules.rel: run module_decl_imported_modules.ql
module_decl_exported_modules.rel: run module_decl_exported_modules.ql

2601
swift/ql/lib/upgrades/c2f01f2beb67e5a57e9df9b6d1c51e35e8d5b0a2/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2597
swift/ql/lib/upgrades/c2f01f2beb67e5a57e9df9b6d1c51e35e8d5b0a2/swift.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

4
swift/ql/lib/upgrades/c2f01f2beb67e5a57e9df9b6d1c51e35e8d5b0a2/upgrade.properties Normal file
View File

@@ -0,0 +1,4 @@
description: Turn exported and imported modules into unindexed sets
compatibility: full
module_decl_imported_modules.rel: reorder module_decl_imported_modules(int id, int index, int imported) id imported
module_decl_exported_modules.rel: reorder module_decl_exported_modules(int id, int index, int exported) id exported