1 /*
2 * Copyright (c) 2002-2012, 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 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 /**
|
1 /*
2 * Copyright (c) 2002-2012, 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 /**
|