public PhpEditorNavigationSource(ITextBuffer textBuffer, PhpEditorNavigationSourceProvider provider)
{
Contract.Requires<ArgumentNullException>(textBuffer != null, "textBuffer");
this._textBuffer = textBuffer;
this._backgroundParser = PhpEditorNavigationBackgroundParser.CreateParser(textBuffer, provider.BackgroundIntelliSenseTaskScheduler, provider.OutputWindowService, provider.TextDocumentFactoryService);
this._provider = provider;
this.BackgroundParser.ParseComplete += HandleBackgroundParseComplete;
this.BackgroundParser.RequestParse(false);
}
public PhpEditorNavigationSource([NotNull] ITextBuffer textBuffer, PhpEditorNavigationSourceProvider provider)
{
Requires.NotNull(textBuffer, nameof(textBuffer));
this._textBuffer = textBuffer;
this._backgroundParser = PhpEditorNavigationBackgroundParser.CreateParser(textBuffer, provider.BackgroundIntelliSenseTaskScheduler, provider.OutputWindowService, provider.TextDocumentFactoryService);
this._provider = provider;
this.BackgroundParser.ParseComplete += HandleBackgroundParseComplete;
this.BackgroundParser.RequestParse(false);
}
public PhpEditorNavigationSource(ITextBuffer textBuffer, PhpEditorNavigationSourceProvider provider)
{
Contract.Requires <ArgumentNullException>(textBuffer != null, "textBuffer");
this._textBuffer = textBuffer;
this._backgroundParser = PhpEditorNavigationBackgroundParser.CreateParser(textBuffer, provider.BackgroundIntelliSenseTaskScheduler, provider.OutputWindowService, provider.TextDocumentFactoryService);
this._provider = provider;
this.BackgroundParser.ParseComplete += HandleBackgroundParseComplete;
this.BackgroundParser.RequestParse(false);
}