public RazorHtmlPublishDiagnosticsInterceptor(
LSPDocumentManager documentManager,
LSPDiagnosticsTranslator diagnosticsProvider,
HTMLCSharpLanguageServerFeedbackFileLoggerProvider loggerProvider)
{
if (documentManager is null)
{
throw new ArgumentNullException(nameof(documentManager));
}
if (diagnosticsProvider is null)
{
throw new ArgumentNullException(nameof(diagnosticsProvider));
}
if (loggerProvider == null)
{
throw new ArgumentNullException(nameof(loggerProvider));
}
_documentManager = documentManager;
_diagnosticsProvider = diagnosticsProvider;
_logger = loggerProvider.CreateLogger(nameof(RazorHtmlPublishDiagnosticsInterceptor));
}
public RazorHtmlPublishDiagnosticsInterceptor(
LSPDocumentManager documentManager,
LSPDiagnosticsTranslator diagnosticsProvider)
{
if (documentManager is null)
{
throw new ArgumentNullException(nameof(documentManager));
}
if (diagnosticsProvider is null)
{
throw new ArgumentNullException(nameof(diagnosticsProvider));
}
_documentManager = documentManager;
_diagnosticsProvider = diagnosticsProvider;
}
