public static void PublishDiagnostics(this ScriptFile scriptFile, ILanguageServerDocument document)
{
document.PublishDiagnostics(new PublishDiagnosticsParams()
{
Uri = PathUtilities.ToFileUri(PathUtilities.Normalize(scriptFile.FilePath)),
Diagnostics = scriptFile.Diagnostics.Select(d => d.ToDiagnostic(scriptFile.Program.Name)).ToArray()
});
}
public static void PublishDiagnostics(this ILanguageServerDocument mediator, PublishDiagnosticsParams @params)
{
mediator.SendNotification(DocumentNames.PublishDiagnostics, @params);
}
