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() . |
void flush() throws IOException
IOException
- Flush failedvoid purge() throws IOException
History.clear()
.IOException
- Purge failedCopyright © 2017. All Rights Reserved.