Package jline.console.history
Interface PersistentHistory
-
- All Superinterfaces:
History
,java.lang.Iterable<History.Entry>
- All Known Implementing Classes:
FileHistory
public interface PersistentHistory extends History
PersistentHistory
.- Since:
- 2.3
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface jline.console.history.History
History.Entry
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
flush()
Flush all items to persistent storage.void
purge()
Purge persistent storage andHistory.clear()
.
-
-
-
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 andHistory.clear()
.- Throws:
java.io.IOException
- Purge failed
-
-