|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PersistentHistory
Persistent History
.
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 |
---|
void flush() throws java.io.IOException
java.io.IOException
- Flush failedvoid purge() throws java.io.IOException
History.clear()
.
java.io.IOException
- Purge failed
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |