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