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
- Author:
- Jason Dillon
-
-
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 voidflush()Flush all items to persistent storage.voidpurge()Purge persistent storage andHistory.clear().
-
-
-
Method Detail
-
flush
void flush() throws java.io.IOExceptionFlush all items to persistent storage.- Throws:
java.io.IOException- Flush failed
-
purge
void purge() throws java.io.IOExceptionPurge persistent storage andHistory.clear().- Throws:
java.io.IOException- Purge failed
-
-