this._block[(int) (at >> PAGE_SHIFT)][(int) (at & PAGE_MASK)] |= flag;
}
public void flush(final DbCollection coll, final String docName) throws IOException,
DbException {
PropertyMap properties = coll.getCollectionProperties();
// #1 sync local symbol table with shared symbol table
if(BUILDIDX_AT_BULKLOAD) {
flushAuxiliaries(coll, docName, properties);
}
coll.flushSymbols();
// #2 write properties
writeProperties(docName, properties);
// #3 write str chunk
_strChunk.flush(coll, docName, properties);
properties.save();
// #4 write block in segment paged files
FixedSegments paged = getPaged(coll, docName);
pageOutSegments(paged, 0, true);
close();