/// <summary>Optimized scan, without allocating new terms. Return numver of invocations to Next(). </summary> internal int ScanTo(Term term) { scanBuffer.Set(term); int count = 0; while (scanBuffer.CompareTo(termBuffer) > 0 && Next()) { count++; } return(count); }
/// <summary>Optimized scan, without allocating new terms. </summary> internal void ScanTo(Term term) { if (scratch == null) { scratch = new TermBuffer(); } scratch.Set(term); while (scratch.CompareTo(termBuffer) > 0 && Next()) { } }