Package jline.console.history

Interface PersistentHistory

All Superinterfaces:

History, Iterable<History.Entry>

All Known Implementing Classes:

FileHistory

public interface PersistentHistory
extends History

Persistent History.

Since:

2.3

Nested Class Summary

Nested classes/interfaces inherited from interface jline.console.history.History

History.Entry

Method Summary

Modifier and Type	Method	Description
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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Details

flush

void flush()
    throws IOException

Flush all items to persistent storage.

Throws:

IOException - Flush failed

purge

void purge()
    throws IOException

Purge persistent storage and History.clear().

Throws:

IOException - Purge failed