Lines Matching defs:write
76 public void write(OutputStream out) throws IOException;
118 // write failed with backup; recover last file
128 // write failed without backup; delete both
178 * writing modified data. Maintains a backup during write, which is restored
179 * if the write fails.
207 public void write(OutputStream out) throws IOException {
208 writer.write(out);
229 * writing modified data. Maintains a backup during write, which is restored
230 * if the write fails.
244 // skip when rewriter has nothing to write
247 // backup existing data during write
254 // write success, delete backup
257 // write failed, delete file and restore backup
264 // create empty backup during write
271 // write success, delete empty backup
274 // write failed, delete file and empty backup
377 writer.write(bos);