public DocumentState(TextDocument doc, ReStructuredTextParser parser, ILoggerFactory loggerFactory)
{
//if (loggerFactory == null) throw new ArgumentNullException(nameof(loggerFactory));
//Logger = loggerFactory.CreateLogger<DocumentState>();
TextDocument = doc ?? throw new ArgumentNullException(nameof(doc));
WikitextLinter = parser;
// DocumentLinter = new TextDocumentLinter(this);
Synchronizer = new TextDocumentSynchronizer(this);
// Caller's responsibility.
// DocumentLinter.RequestLint();
}
public DocumentState(TextDocument doc, WikitextParser parser, ILoggerFactory loggerFactory)
{
if (doc == null)
{
throw new ArgumentNullException(nameof(doc));
}
if (loggerFactory == null)
{
throw new ArgumentNullException(nameof(loggerFactory));
}
Logger = loggerFactory.CreateLogger <DocumentState>();
TextDocument = doc;
WikitextLinter = new WikitextLinter(parser);
DocumentLinter = new TextDocumentLinter(this);
Synchronizer = new TextDocumentSynchronizer(this);
DocumentLinter = new TextDocumentLinter(this);
// Caller's responsibility.
// DocumentLinter.RequestLint();
}
