public override bool Next() { pointer++; if (pointer >= pointerMax) { pointerMax = termDocs.Read(docs, freqs); // refill buffer if (pointerMax != 0) { pointer = 0; } else { termDocs.Close(); // close stream doc = System.Int32.MaxValue; // set to sentinel value return(false); } } doc = docs[pointer]; return(true); }