mirror of
https://github.com/github/codeql.git
synced 2026-01-12 22:14:47 +01:00
d80d39504f
Tag the successfully extracted files queries with `successfully-extracted-files` to make them easier to identify programmatically in a language-independent way. This follows the prior art for lines of code queries, which are tagged `lines-of-code`.
17 lines
425 B
Plaintext
17 lines
425 B
Plaintext
/**
|
|
* @name Successfully extracted Python files
|
|
* @description Lists all Python files in the source code directory that were extracted
|
|
* without encountering an error.
|
|
* @kind diagnostic
|
|
* @id py/diagnostics/successfully-extracted-files
|
|
* @tags successfully-extracted-files
|
|
*/
|
|
|
|
import python
|
|
|
|
from File file
|
|
where
|
|
not exists(SyntaxError e | e.getFile() = file) and
|
|
exists(file.getRelativePath())
|
|
select file, ""
|