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.