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.