public class PreservingFileWriter
extends java.io.FileWriter
Modifier and Type | Field and Description |
---|---|
protected java.io.File |
target_file |
protected java.io.File |
tmp_file |
Constructor and Description |
---|
PreservingFileWriter(java.lang.String file) |
Modifier and Type | Method and Description |
---|---|
void |
close()
Close the file and see if the actual target is different
if so the target file is overwritten by the copy.
|
protected java.io.File target_file
protected java.io.File tmp_file
public PreservingFileWriter(java.lang.String file) throws java.io.IOException
java.io.IOException
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.OutputStreamWriter
java.io.IOException