public ResultsUpdater(ResultsEditorExtension ext, IEnumerable <Result> results, object resultsId, CancellationToken cancellationToken)
{
if (ext == null)
{
throw new ArgumentNullException("ext");
}
if (results == null)
{
throw new ArgumentNullException("results");
}
this.ext = ext;
id = resultsId;
this.cancellationToken = cancellationToken;
Queue <IGenericTextSegmentMarker> oldMarkers;
if (resultsId != null)
{
if (!ext.markers.TryGetValue(id, out oldMarkers))
{
ext.markers [id] = oldMarkers = new Queue <IGenericTextSegmentMarker> ();
}
this.oldMarkers = oldMarkers.Count;
}
builder = ImmutableArray <QuickTask> .Empty.ToBuilder();
enumerator = results.GetEnumerator();
}
public ResultsUpdater(ResultsEditorExtension ext, IReadOnlyList <Result> results, object resultsId, CancellationToken cancellationToken)
{
if (ext == null)
{
throw new ArgumentNullException("ext");
}
if (results == null)
{
throw new ArgumentNullException("results");
}
this.ext = ext;
id = resultsId;
this.cancellationToken = cancellationToken;
if (resultsId != null)
{
if (!ext.markers.TryGetValue(id, out oldMarkers))
{
ext.markers [id] = oldMarkers = GetCachedList();
}
}
builder = ImmutableArray <QuickTask> .Empty.ToBuilder();
this.results = results;
newMarkers = GetCachedList();
}
public ResultsUpdater(ResultsEditorExtension ext, IEnumerable <Result> results, CancellationToken cancellationToken)
{
if (ext == null)
{
throw new ArgumentNullException("ext");
}
if (results == null)
{
throw new ArgumentNullException("results");
}
this.ext = ext;
this.cancellationToken = cancellationToken;
this.oldMarkers = ext.markers.Count;
enumerator = ((IEnumerable <Result>)results).GetEnumerator();
}
public ResultsUpdater (ResultsEditorExtension ext, IEnumerable<Result> results, CancellationToken cancellationToken)
{
if (ext == null)
throw new ArgumentNullException ("ext");
if (results == null)
throw new ArgumentNullException ("results");
this.ext = ext;
this.cancellationToken = cancellationToken;
this.oldMarkers = ext.markers.Count;
enumerator = ((IEnumerable<Result>)results).GetEnumerator ();
}
