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);
}