public override int NextDoc() { if (docs.Next()) { return(docID = docs.Doc); } else { return(docID = NO_MORE_DOCS); } }
public override int NextDoc() { if (Docs.Next()) { return(DocID_Renamed = Docs.Doc()); } else { return(DocID_Renamed = NO_MORE_DOCS); } }