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, size
forEach, spliterator
void flush() throws IOException
IOException
- Flush failedvoid purge() throws IOException
History.clear()
.IOException
- Purge failedCopyright © 2024. All rights reserved.