public void Report(Uri documentUri, MessageCollection messages) { router.SendNotification(DocumentNames.PublishDiagnostics, new PublishDiagnosticsParams { Uri = documentUri, Diagnostics = new Container <Diagnostic>(messages.Select(msg => new Diagnostic { Code = msg.Code, Message = msg.Text, Severity = ConvertSeverity(msg.Severity), Range = new Range(new Position(msg.StartLine - 1, msg.StartColumn), new Position(msg.EndLine - 1, msg.EndColumn)) })).ToArray() }); }
public void SendRawNotification(string name) { Server.SendNotification(name); }