public DiagnosticsUpdatedEventArgs(object tag, string filePath, DiagnosticsUpdatedKind kind, DiagnosticSourceKind source, ImmutableArray <Diagnostic> diagnostics, SyntaxHighlightDataList diagnosticHighlights = null)
{
Tag = tag;
FilePath = filePath;
Kind = kind;
Diagnostics = diagnostics;
DiagnosticHighlights = diagnosticHighlights;
Source = source;
}
public Diagnostic(int offset, int length, string project, string file, int line, string message, string code, DiagnosticLevel level,
DiagnosticCategory category, DiagnosticSourceKind kind = DiagnosticSourceKind.Analysis)
{
StartOffset = offset;
Length = length;
Project = project;
File = file;
Line = line;
Spelling = message;
Level = level;
Category = category;
Code = code;
Source = kind;
}
/// <inheritdoc/>
public void Create(object tag, string filePath, DiagnosticSourceKind source, ImmutableArray <Diagnostic> diagnostics, SyntaxHighlightDataList diagnosticHighlights = null)
{
Dispatcher.UIThread.Post(() =>
{
foreach (var diagnostic in diagnostics)
{
if (diagnostic.Level != DiagnosticLevel.Hidden)
{
Errors.InsertSorted(new ErrorViewModel(diagnostic, tag));
}
}
DiagnosticsUpdated?.Invoke(this, new DiagnosticsUpdatedEventArgs(tag, filePath, DiagnosticsUpdatedKind.DiagnosticsCreated, source, diagnostics, diagnosticHighlights));
});
}
