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

C#: Include extractor message in diagnostic queries

Browse Source
This commit is contained in:
Tom Hvitved
2019-06-18 11:01:26 +02:00
parent f408a6ddfc
commit 70c5e39c5d
2 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/src/Diagnostics/ExtractorError.ql
View File

@@ -16,5 +16,4 @@ import semmle.code.csharp.commons.Diagnostics
from ExtractorError error
where not exists(CompilerError ce | ce.getLocation().getFile() = error.getLocation().getFile())
select error,
"Unexpected " + error.getOrigin() + " error in element '" + error.getElementText() +
"' at location " + error.getStackTrace()
"Unexpected " + error.getOrigin() + " error: " + error.getText() + "\n" + error.getStackTrace()

4
csharp/ql/src/Diagnostics/ExtractorMessage.ql
View File

@@ -13,5 +13,5 @@ import semmle.code.csharp.commons.Diagnostics
from ExtractorMessage message
select message,
message.getSeverityText() + " was generated by " + message.getOrigin() + " in element '" +
message.getElementText() + "' at location " + message.getStackTrace()
message.getSeverityText() + " was generated by " + message.getOrigin() + ": " + message.getText() +
"\n" + message.getStackTrace()