public Task <WorkspaceDiagnosticReport[]?> GetWorkspacePullDiagnosticsAsync(WorkspaceDocumentDiagnosticsParams diagnosticsParams, CancellationToken cancellationToken)
        {
            Contract.ThrowIfNull(_clientCapabilities, $"{nameof(InitializeAsync)} has not been called.");

            return(RequestDispatcher.ExecuteRequestAsync <WorkspaceDocumentDiagnosticsParams, WorkspaceDiagnosticReport[]?>(
                       Queue, MSLSPMethods.WorkspacePullDiagnosticName,
                       diagnosticsParams, _clientCapabilities, ClientName, cancellationToken));
        }
 public static Task <WorkspaceDiagnosticReport> WorkspacePullDiagnosticsAsync(WorkspaceDocumentDiagnosticsParams workspaceDiagnosticsParams, CancellationToken cancellationToken)
 {
     return(Task.FromResult <WorkspaceDiagnosticReport>(null));
 }