Merge pull request #1468 from hvitved/csharp/extractor-error

C#: Include extractor message in diagnostic queries
This commit is contained in:
Calum Grant 2019-06-19 17:47:11 +01:00 коммит произвёл GitHub
Родитель 85ad89c299 70c5e39c5d
Коммит df2a46eb80
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
2 изменённых файлов: 3 добавлений и 4 удалений

Просмотреть файл

@ -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()

Просмотреть файл

@ -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()