Interface ModificationWriter

  • All Known Implementing Classes:
    LocalTextModificationAccessor

    public interface ModificationWriter
    ModificationWriter provides methods for writing a modification to a persistent medium like file system.
    • 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.IOException
        Release resources like streams.
        Throws:
        java.io.IOException
      • abort

        void abort()
            throws java.io.IOException
        Abort last modification. Notice that after calling abort(), a fileWriter is opened.
        Throws:
        java.io.IOException