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 © 2014. All Rights Reserved.