mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
23 lines
850 B
Plaintext
23 lines
850 B
Plaintext
/**
|
|
* @name Extraction errors
|
|
* @description List all extraction errors for files in the source code directory.
|
|
* @kind diagnostic
|
|
* @id cpp/diagnostics/extraction-errors
|
|
*/
|
|
|
|
import cpp
|
|
import ExtractionErrors
|
|
|
|
// NOTE:
|
|
// This file looks like the other `diagnostics/extraction-errors` queries in other CodeQL supported
|
|
// languages. However, since this diagnostic query is located in the `Internal` subdirectory it will not
|
|
// appear in the Code Scanning suite. The related query `cpp/diagnostics/extraction-warnings` is,
|
|
// however, included as a public diagnostics query.
|
|
from ExtractionError error
|
|
where
|
|
error instanceof ExtractionUnknownError or
|
|
exists(error.getFile().getRelativePath())
|
|
select error,
|
|
"Extraction failed in " + error.getFile() + " with error " +
|
|
error.getErrorMessage().replaceAll("$", "$$"), error.getSeverity()
|