/// <summary>
/// Diagnostics notification are sent from the server to the client to signal
/// results of validation runs.
/// </summary>
public virtual void SendDiagnostics(PublishDiagnosticsParams parameters)
{
rpcServer.SendNotification(PublishDiagnosticsNotification.Type, parameters);
}
/// <summary>
/// Diagnostics notification are sent from the server to the client to signal
/// results of validation runs.
/// </summary>
public virtual void SendDiagnostics(PublishDiagnosticsParams parameters)
{
}
