Make a backup file: Difference between revisions

→‎{{header|Java}}: Tested & fixed code
No edit summary
(→‎{{header|Java}}: Tested & fixed code)
Line 173:
 
=={{header|Java}}==
{{untested|Java}}
{{works with|Java|7+}}
<lang java5>import java.io.PrintWriter;
Line 182 ⟶ 181:
//toRealPath() follows symlinks to their ends
Path file = Paths.get(filename).toRealPath();
File backFile = new File(filename + ".backup");
if(!backFile.exists()) {
// ensure the backup file exists so we can write to it later
backFile.createNewFile();
}
Path back = Paths.get(filename + ".backup").toRealPath();
Files.move(file, back, StandardCopyOption.REPLACE_EXISTING);
try(PrintWriter out = new PrintWriter(file.toFile())){
for(Stringint datumi := 0; i < data.length; i++) {
out.printlnprint(datumdata[i]);
if(i < data.length - 1) {
out.println();
}
}
}
Line 205 ⟶ 212:
orig.renameTo(backup);
PrintWriter output = new PrintWriter(orig);
for(Stringint datumi := 0; i < data.length; i++) {
output.printlnprint(datumdata[i]);
if(i < data.length - 1) {
output.println();
}
}
output.close();
}
}</lang>
 
 
=={{header|Lasso}}==