/** * Takes a list of docs (the doc ids actually), and reads them into an array * of Documents. */ public void readDocs(Document[] docs, DocList ids) throws IOException { readDocs(docs, ids, null); } /**
/** * Takes a list of docs (the doc ids actually), and returns an array * of Documents containing all of the stored fields. */ public Document[] readDocs(DocList ids) throws IOException { Document[] docs = new Document[ids.size()]; readDocs(docs,ids); return docs; }