src/jdk.internal.le/share/classes/jdk/internal/jline/console/history/PersistentHistory.java
branchJDK-8200758-branch
changeset 57072 29604aafa0fc
parent 57071 94e9270166f0
parent 52979 7384e00d5860
child 57076 687505381ca4
equal deleted inserted replaced
57071:94e9270166f0 57072:29604aafa0fc
     1 /*
       
     2  * Copyright (c) 2002-2016, the original author or authors.
       
     3  *
       
     4  * This software is distributable under the BSD license. See the terms of the
       
     5  * BSD license in the documentation provided with this software.
       
     6  *
       
     7  * http://www.opensource.org/licenses/bsd-license.php
       
     8  */
       
     9 package jdk.internal.jline.console.history;
       
    10 
       
    11 import java.io.IOException;
       
    12 
       
    13 /**
       
    14  * Persistent {@link History}.
       
    15  *
       
    16  * @author <a href="mailto:jason@planet57.com">Jason Dillon</a>
       
    17  * @since 2.3
       
    18  */
       
    19 public interface PersistentHistory
       
    20     extends History
       
    21 {
       
    22     /**
       
    23      * Flush all items to persistent storage.
       
    24      *
       
    25      * @throws IOException  Flush failed
       
    26      */
       
    27     void flush() throws IOException;
       
    28 
       
    29     /**
       
    30      * Purge persistent storage and {@link #clear}.
       
    31      *
       
    32      * @throws IOException  Purge failed
       
    33      */
       
    34     void purge() throws IOException;
       
    35 }