org.apache.karaf.shell.console.impl.jline

Class KarafFileHistory

java.lang.Object

jline.console.history.MemoryHistory

jline.console.history.FileHistory

org.apache.karaf.shell.console.impl.jline.KarafFileHistory

All Implemented Interfaces:

Flushable, Iterable<jline.console.history.History.Entry>, jline.console.history.History, jline.console.history.PersistentHistory

public final class KarafFileHistory
extends jline.console.history.FileHistory

Override the FileHistory impl to trap failures due to the user does not having write access to the history file.

Nested Class Summary

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

jline.console.history.History.Entry

Field Summary

Fields inherited from class jline.console.history.MemoryHistory

DEFAULT_MAX_SIZE

Constructor Summary

Constructors

Constructor and Description
KarafFileHistory(File file)

Method Summary

Modifier and Type	Method and Description
void	flush()
void	purge()

Methods inherited from class jline.console.history.FileHistory

getFile, load, load, load

Methods inherited from class jline.console.history.MemoryHistory

add, clear, current, entries, entries, get, getMaxSize, index, internalAdd, isAutoTrim, isEmpty, isIgnoreDuplicates, iterator, moveTo, moveToEnd, moveToFirst, moveToLast, next, previous, remove, removeFirst, removeLast, replace, set, setAutoTrim, setIgnoreDuplicates, setMaxSize, size, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Constructor Detail

KarafFileHistory

public KarafFileHistory(File file)
                 throws IOException

Throws:

IOException

Method Detail

flush

public void flush()
           throws IOException

Specified by:

flush in interface Flushable

Specified by:

flush in interface jline.console.history.PersistentHistory

Overrides:

flush in class jline.console.history.FileHistory

Throws:

IOException

purge

public void purge()
           throws IOException

Specified by:

purge in interface jline.console.history.PersistentHistory

Overrides:

purge in class jline.console.history.FileHistory

Throws:

IOException