File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ /**
2+ * @name Extraction errors
3+ * @description List all extraction errors for files in the source code directory.
4+ * @kind diagnostic
5+ * @id cpp/diagnostics/extraction-errors
6+ */
7+
8+ import cpp
9+ import ExtractionErrors
10+
11+ from ExtractionError error
12+ where
13+ error instanceof ExtractionUnknownError or
14+ exists ( error .getFile ( ) .getRelativePath ( ) )
15+ select error , "Extraction failed in " + error .getFile ( ) + " with error " + error .getErrorMessage ( ) ,
16+ error .getSeverity ( )
Original file line number Diff line number Diff line change @@ -12,12 +12,12 @@ import cpp
1212 * Thus, if the extractor emitted at least one diagnostic of severity discretionary
1313 * error (or higher), it *also* emits a simple "There was an error during this compilation"
1414 * error diagnostic, without location information.
15- * In the common case, this means that a file with one ( or more) errors also gets
15+ * In the common case, this means that a compilation during which one or more errors happened also gets
1616 * the catch-all diagnostic.
1717 * This diagnostic has the empty string as file path.
1818 * We filter out these useless diagnostics if there is at least one error-level diagnostic
1919 * for the affected compilation in the database.
20- * Otherwise, we show it to, to indicate that something went wrong, and we
20+ * Otherwise, we show it to indicate that something went wrong and that we
2121 * don't know what exactly happened.
2222 */
2323
Load Diff This file was deleted.
File renamed without changes.
Original file line number Diff line number Diff line change 11/**
22 * @name Successfully extracted files
3- * @description Lists all files in the source code directory that were extracted without encountering an error.
3+ * @description Lists all files in the source code directory that were extracted without encountering an error in the file .
44 * @kind diagnostic
55 * @id cpp/diagnostics/successfully-extracted-files
66 */
77
88import cpp
9- import FailedExtractions
9+ import ExtractionErrors
1010
1111from File f
1212where
You can’t perform that action at this time.
0 commit comments