Package jline.console.history
Interface PersistentHistory
- All Superinterfaces:
History
,Iterable<History.Entry>
- All Known Implementing Classes:
FileHistory
Persistent
History
.- Since:
- 2.3
-
Nested Class Summary
Nested classes/interfaces inherited from interface jline.console.history.History
History.Entry
-
Method Summary
Modifier and TypeMethodDescriptionvoid
flush()
Flush all items to persistent storage.void
purge()
Purge persistent storage andHistory.clear()
.Methods inherited from interface jline.console.history.History
add, clear, current, entries, entries, get, index, isEmpty, iterator, moveTo, moveToEnd, moveToFirst, moveToLast, next, previous, remove, removeFirst, removeLast, replace, set, size
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Method Details
-
flush
Flush all items to persistent storage.- Throws:
IOException
- Flush failed
-
purge
Purge persistent storage andHistory.clear()
.- Throws:
IOException
- Purge failed
-