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

C#: Report any extracted file as successfully extracted

Browse Source
This commit is contained in:
Michael B. Gale
2024-01-17 20:57:39 +00:00
parent 4a71ddd8b6
commit a30791833d
3 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/change-notes/2024-01-17-csharp-successfully-extracted.md Normal file
View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* The diagnostic query `cs/diagnostics/successfully-extracted-files`, and therefore the Code Scanning UI measure of scanned C# files, now considers any C# file seen during extraction, even one with some errors, to be extracted / scanned.

5
csharp/ql/src/Diagnostics/DiagnosticNoExtractionErrors.ql
View File

@@ -11,8 +11,5 @@ import csharp
import semmle.code.csharp.commons.Diagnostics
from File file
where
file.fromSource() and
not exists(ExtractorError e | e.getLocation().getFile() = file) and
not exists(CompilerError e | e.getLocation().getFile() = file)
where file.fromSource()
select file, ""

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

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