Esempio n. 1
0
 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);
 }