public AlloyEditorNavigationSource(ITextBuffer textBuffer, AlloyBackgroundParser backgroundParser, AlloyEditorNavigationSourceProvider provider) { Contract.Requires<ArgumentNullException>(textBuffer != null, "textBuffer"); Contract.Requires<ArgumentNullException>(backgroundParser != null, "backgroundParser"); Contract.Requires<ArgumentNullException>(provider != null, "provider"); this.TextBuffer = textBuffer; this.BackgroundParser = backgroundParser; this._provider = provider; this.BackgroundParser.ParseComplete += HandleBackgroundParseComplete; this.BackgroundParser.RequestParse(false); }