Interface ModificationReader
-
- All Known Implementing Classes:
LocalTextModificationAccessor
public interface ModificationReaderModificationReader reads all modifications from a persistent medium like file system.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidclose()Release resources like streams.java.util.Collection<Modification>read()Read all modifications from a persistent medium.
-
-
-
Method Detail
-
read
java.util.Collection<Modification> read()
Read all modifications from a persistent medium. If the mods file is crashed, the redundant modifications will be truncated until the file is correct.- Returns:
- a list of modifications contained the medium.
-
close
void close() throws java.io.IOExceptionRelease resources like streams.- Throws:
java.io.IOException
-
-