public ConnectionPointCookie([NotNull] IConnectionPoint connectionPoint, uint cookie)
{
Debug.Assert(connectionPoint != null);
_connectionPoint = new Tvl.WeakReference <IConnectionPoint>(connectionPoint);
_cookie = cookie;
}
public ConnectionPointCookie(IConnectionPoint connectionPoint, uint cookie)
{
Contract.Requires(connectionPoint != null);
_connectionPoint = new Tvl.WeakReference <IConnectionPoint>(connectionPoint);
_cookie = cookie;
}
public BackgroundParser([NotNull] ITextBuffer textBuffer, [NotNull] TaskScheduler taskScheduler, [NotNull] ITextDocumentFactoryService textDocumentFactoryService, [NotNull] IOutputWindowService outputWindowService, string outputPaneName)
{
Requires.NotNull(textBuffer, nameof(textBuffer));
Requires.NotNull(taskScheduler, nameof(taskScheduler));
Requires.NotNull(textDocumentFactoryService, nameof(textDocumentFactoryService));
Requires.NotNull(outputWindowService, nameof(outputWindowService));
this._textBuffer = new Tvl.WeakReference <ITextBuffer>(textBuffer);
this._taskScheduler = taskScheduler;
this._textDocumentFactoryService = textDocumentFactoryService;
this._outputWindowService = outputWindowService;
this._outputWindowName = outputPaneName;
textBuffer.PostChanged += TextBufferPostChanged;
this._dirty = true;
this._reparseDelay = TimeSpan.FromMilliseconds(1500);
this._timer = new Timer(ParseTimerCallback, null, _reparseDelay, _reparseDelay);
this._lastEdit = DateTimeOffset.MinValue;
}
public BackgroundParser(ITextBuffer textBuffer, TaskScheduler taskScheduler, ITextDocumentFactoryService textDocumentFactoryService, IOutputWindowService outputWindowService, string outputPaneName)
{
Contract.Requires <ArgumentNullException>(textBuffer != null, "textBuffer");
Contract.Requires <ArgumentNullException>(taskScheduler != null, "taskScheduler");
Contract.Requires <ArgumentNullException>(textDocumentFactoryService != null, "textDocumentFactoryService");
Contract.Requires <ArgumentNullException>(outputWindowService != null, "outputWindowService");
this._textBuffer = new Tvl.WeakReference <ITextBuffer>(textBuffer);
this._taskScheduler = taskScheduler;
this._textDocumentFactoryService = textDocumentFactoryService;
this._outputWindowService = outputWindowService;
this._outputWindowName = outputPaneName;
textBuffer.PostChanged += TextBufferPostChanged;
this._dirty = true;
this._reparseDelay = TimeSpan.FromMilliseconds(1500);
this._timer = new Timer(ParseTimerCallback, null, _reparseDelay, _reparseDelay);
this._lastEdit = DateTimeOffset.MinValue;
}
