mirror of
https://github.com/github/codeql.git
synced 2026-01-11 13:40:21 +01:00
b1d7a635f5
This commit renames the files relating to the diagnostic query that produces information on the number of files extracted. The files have been renamed from "SuccessfullExtractedFiles.*" to "ExtractedFiles.*". All related tests and test files have been renamed too. The `@tags` and `@id` attributes of the queries have been left untouched, consistent with the `@tags` and `@id` for similar queries in other languages.
14 lines
322 B
Plaintext
14 lines
322 B
Plaintext
/**
|
|
* @name Extracted Python files
|
|
* @description Lists all Python files in the source code directory that were extracted.
|
|
* @kind diagnostic
|
|
* @id py/diagnostics/successfully-extracted-files
|
|
* @tags successfully-extracted-files
|
|
*/
|
|
|
|
import python
|
|
|
|
from File file
|
|
where exists(file.getRelativePath())
|
|
select file, ""
|