/// <summary> Calls collect() on the decorated HitCollector.
///
/// </summary>
/// <throws> TimeExceededException if the time allowed has been exceeded. </throws>
public override void Collect(int doc, float score)
{
long time = TIMER_THREAD.GetMilliseconds();
if (timeout < time)
{
if (greedy)
{
//System.out.println(this+" greedy: before failing, collecting doc: "+doc+" "+(time-t0));
hc.Collect(doc, score);
}
//System.out.println(this+" failing on: "+doc+" "+(time-t0));
throw new TimeExceededException(timeout - t0, time - t0, doc);
}
//System.out.println(this+" collecting: "+doc+" "+(time-t0));
hc.Collect(doc, score);
}
public override void Collect(int doc)
{
collector.Collect(doc + base_Renamed, scorer.Score());
}