Package 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

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 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