mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
a131966066
This is done by adding a `isSuccessfullyExtracted` predicate that is filled for primary files at the very end of the extractor invocation if the frontend was performed successfully. If for example the extractor crashes this will therefore not be filled. The upgrade script is written so that `SuccessfullyExtractedFiles.ql` on an upgraded script will give exactly the same results as before it.
5 lines
409 B
Plaintext
5 lines
409 B
Plaintext
| empty.swift:0:0:0:0 | empty.swift | DbFile | getName: | empty.swift | isSuccessfullyExtracted: | yes |
|
|
| error.swift:0:0:0:0 | error.swift | DbFile | getName: | error.swift | isSuccessfullyExtracted: | no |
|
|
| file://:0:0:0:0 | | UnknownFile | getName: | | isSuccessfullyExtracted: | no |
|
|
| non_empty.swift:0:0:0:0 | non_empty.swift | DbFile | getName: | non_empty.swift | isSuccessfullyExtracted: | yes |
|