Interface PersistentHistory

    • Method Detail

      • flush

        void flush()
            throws java.io.IOException
        Flush all items to persistent storage.
        Throws:
        java.io.IOException - Flush failed
      • purge

        void purge()
            throws java.io.IOException
        Purge persistent storage and History.clear().
        Throws:
        java.io.IOException - Purge failed