Interface ModificationWriter
-
- All Known Implementing Classes:
LocalTextModificationAccessor
public interface ModificationWriterModificationWriter provides methods for writing a modification to a persistent medium like file system.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidabort()Abort last modification.voidclose()Release resources like streams.voidwrite(Modification mod)Write a new modification to the persistent medium.
-
-
-
Method Detail
-
write
void write(Modification mod) throws java.io.IOException
Write a new modification to the persistent medium. Notice that after calling write(), a fileWriter is opened.- Parameters:
mod- the modification to be written.- Throws:
java.io.IOException
-
close
void close() throws java.io.IOExceptionRelease resources like streams.- Throws:
java.io.IOException
-
abort
void abort() throws java.io.IOExceptionAbort last modification. Notice that after calling abort(), a fileWriter is opened.- Throws:
java.io.IOException
-
-