Writes the document index. @param out output stream @throws IOException I/O exception
(final DataOutput out)
| 65 | * @throws IOException I/O exception |
| 66 | */ |
| 67 | void write(final DataOutput out) throws IOException { |
| 68 | out.writeDiffs(docs()); |
| 69 | if(dirty && pathIndex) { |
| 70 | // retrieve paths (must be called before file is opened for writing!) |
| 71 | final TokenList paths = paths(); |
| 72 | // write paths |
| 73 | try(DataOutput doc = new DataOutput(data.meta.dbFile(DATAPTH))) { |
| 74 | doc.writeNum(paths.size()); |
| 75 | for(final byte[] path : paths) doc.writeToken(path); |
| 76 | } |
| 77 | dirty = false; |
| 78 | } |
| 79 | } |
| 80 | |
| 81 | /** |
| 82 | * Returns a list with the {@code pre} values of all document nodes. |
nothing calls this directly
no test coverage detected