(final boolean all)
| 252 | } |
| 253 | |
| 254 | @Override |
| 255 | public synchronized void flush(final boolean all) { |
| 256 | try { |
| 257 | table.flush(all); |
| 258 | if(all) { |
| 259 | write(); |
| 260 | texts.flush(); |
| 261 | values.flush(); |
| 262 | if(textIndex != null) textIndex.flush(); |
| 263 | if(attrIndex != null) attrIndex.flush(); |
| 264 | } |
| 265 | } catch(final IOException ex) { |
| 266 | Util.stack(ex); |
| 267 | } |
| 268 | } |
| 269 | |
| 270 | @Override |
| 271 | public byte[] text(final int pre, final boolean text) { |
no test coverage detected