/**
* Write the map to the specified file.
*
* @param file file to write to
* @throws IOException I/O error while writing to the file
*/
public void write(final IOFile file) throws IOException {
try (final DataOutput out = new DataOutput(file)) {
out.writeNum(baseid);
out.writeNum(rows);
out.writeNums(pres);
out.writeNums(fids);
out.writeNums(nids);
out.writeNums(incs);
out.writeNums(oids);
}
}
/**
* Writes a single node to disk.
*
* @param out output stream
* @throws IOException I/O exception
*/
void write(final DataOutput out) throws IOException {
out.writeNum(pr);
out.writeNums(values);
out.writeNum(sz);
for (int c = 0; c < sz; ++c) children[c].write(out);
}