src/jdk.internal.le/share/classes/jdk/internal/jline/console/history/PersistentHistory.java
equal
deleted
inserted
replaced
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 } |
|