|
||||||||||
| 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, remove, removeFirst, removeLast, replace, set, size |
| Method Detail |
|---|
void flush()
throws IOException
IOException - Flush failed
void purge()
throws IOException
History.clear().
IOException - Purge failed
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||