Interface ModificationReader

  • All Known Implementing Classes:
    LocalTextModificationAccessor

    public interface ModificationReader
    ModificationReader reads all modifications from a persistent medium like file system.
    • 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.IOException
        Release resources like streams.
        Throws:
        java.io.IOException