public interface PersistentHistory extends History
History.History.Entry| Modifier and Type | Method and Description |
|---|---|
void |
flush()
Flush all items to persistent storage.
|
void |
purge()
Purge persistent storage and
History.clear(). |
add, clear, current, entries, entries, get, index, isEmpty, iterator, moveTo, moveToEnd, moveToFirst, moveToLast, next, previous, remove, removeFirst, removeLast, replace, set, sizeforEach, spliteratorvoid flush()
throws IOException
IOException - Flush failedvoid purge()
throws IOException
History.clear().IOException - Purge failedCopyright © 2017. All Rights Reserved.