public DocumentPullDiagnosticsHandler(
LSPRequestInvoker requestInvoker,
LSPDocumentManager documentManager,
LSPDocumentSynchronizer documentSynchronizer,
LSPDiagnosticsTranslator diagnosticsProvider)
{
if (requestInvoker is null)
{
throw new ArgumentNullException(nameof(requestInvoker));
}
if (documentManager is null)
{
throw new ArgumentNullException(nameof(documentManager));
}
if (documentSynchronizer is null)
{
throw new ArgumentNullException(nameof(documentSynchronizer));
}
if (diagnosticsProvider is null)
{
throw new ArgumentNullException(nameof(diagnosticsProvider));
}
_requestInvoker = requestInvoker;
_documentManager = documentManager;
_documentSynchronizer = documentSynchronizer;
_diagnosticsProvider = diagnosticsProvider;
}
public DocumentPullDiagnosticsHandler(
LSPRequestInvoker requestInvoker,
LSPDocumentManager documentManager,
LSPDocumentSynchronizer documentSynchronizer,
LSPDiagnosticsTranslator diagnosticsProvider,
HTMLCSharpLanguageServerLogHubLoggerProvider loggerProvider)
{
if (requestInvoker is null)
{
throw new ArgumentNullException(nameof(requestInvoker));
}
if (documentManager is null)
{
throw new ArgumentNullException(nameof(documentManager));
}
if (documentSynchronizer is null)
{
throw new ArgumentNullException(nameof(documentSynchronizer));
}
if (diagnosticsProvider is null)
{
throw new ArgumentNullException(nameof(diagnosticsProvider));
}
if (loggerProvider == null)
{
throw new ArgumentNullException(nameof(loggerProvider));
}
_requestInvoker = requestInvoker;
_documentManager = documentManager;
_documentSynchronizer = documentSynchronizer;
_diagnosticsProvider = diagnosticsProvider;
_logger = loggerProvider.CreateLogger(nameof(DocumentPullDiagnosticsHandler));
}