jline.console.history
Interface PersistentHistory

All Superinterfaces:
History, java.lang.Iterable<History.Entry>
All Known Implementing Classes:
FileHistory

public interface PersistentHistory
extends History

Persistent History.

Since:
2.3
Author:
Jason Dillon

Nested Class Summary
 
Nested classes/interfaces inherited from interface jline.console.history.History
History.Entry
 
Method Summary
 void flush()
          Flush all items to persistent storage.
 void purge()
          Purge persistent storage and History.clear().
 
Methods inherited from interface jline.console.history.History
add, clear, current, entries, entries, get, index, isEmpty, iterator, moveTo, moveToEnd, moveToFirst, moveToLast, next, previous, replace, size
 

Method Detail

flush

void flush()
           throws java.io.IOException
Flush all items to persistent storage.

Throws:
java.io.IOException - Flush failed

purge

void purge()
           throws java.io.IOException
Purge persistent storage and History.clear().

Throws:
java.io.IOException - Purge failed