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(); }