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