hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add diagnostic query to get correctly extracted files

Browse Source
This commit is contained in:
Tamas Vajk
2021-04-21 14:41:53 +02:00
parent b05e211e21
commit ff9327a035
4 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
csharp/ql/src/Diagnostics/DiagnosticNoExtractionErrors.ql Normal file
View File

@@ -0,0 +1,14 @@
/**
* @name Successfully extracted files
* @description A list of all files in the source code directory that were extracted
* without encountering an extraction error in the file.
* @kind diagnostic
* @id cs/diagnostics/successfully-extracted-files
*/
import csharp
import semmle.code.csharp.commons.Diagnostics
from File file
where file.fromSource() and not exists(ExtractorError e | e.getLocation().getFile() = file)
select file, ""

4
csharp/ql/test/library-tests/diagnostics/A.cs Normal file
View File

@@ -0,0 +1,4 @@
public class A
{
public void M() { }
}

1
csharp/ql/test/library-tests/diagnostics/DiagnosticNoExtractorErrors.expected Normal file
View File

@@ -0,0 +1 @@
| A.cs:0:0:0:0 | A.cs | |

1
csharp/ql/test/library-tests/diagnostics/DiagnosticNoExtractorErrors.qlref Normal file
View File

@@ -0,0 +1 @@
Diagnostics/DiagnosticNoExtractionErrors.ql