Class FileHistory

java.lang.Object

jline.console.history.MemoryHistory

jline.console.history.FileHistory

All Implemented Interfaces:

Flushable, Iterable<History.Entry>, History, PersistentHistory

public class FileHistory
extends MemoryHistory
implements PersistentHistory, Flushable

History using a file for persistent backing.

Implementers should install shutdown hook to call flush() to save history to disk.

Since:

2.0

Nested Class Summary

Nested classes/interfaces inherited from interface History

History.Entry

Field Summary

Fields

Modifier and Type	Field	Description
private final File	file

Fields inherited from class MemoryHistory

DEFAULT_MAX_SIZE

Constructor Summary

Constructors

Constructor	Description
FileHistory(File file)	Load a history file into memory, truncating to default max size.
FileHistory(File file, boolean doInit)	Create a FileHistory, but only initialize if doInit is true.

Method Summary

Modifier and Type	Method	Description
void	flush()	Flush all items to persistent storage.
File	getFile()
void	load()	Load history from file, e.g.
void	load(File file)
void	load(InputStream input)
void	load(Reader reader)
void	purge()	Purge persistent storage and History.clear().

Methods inherited from class 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 Object

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

Methods inherited from interface 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 Iterable

forEach, spliterator

Field Details

file

private final File file

Constructor Details

FileHistory

public FileHistory(File file)
            throws IOException

Load a history file into memory, truncating to default max size.

Throws:

IOException

FileHistory

public FileHistory(File file,
 boolean doInit)
            throws IOException

Create a FileHistory, but only initialize if doInit is true. This allows setting maxSize or other settings; call load() before using if doInit is false.

Throws:

IOException

Method Details

load

public void load()
          throws IOException

Load history from file, e.g. if using delayed init.

Throws:

IOException

getFile

public File getFile()

load

public void load(File file)
          throws IOException

Throws:

IOException

load

public void load(InputStream input)
          throws IOException

Throws:

IOException

load

public void load(Reader reader)
          throws IOException

Throws:

IOException

flush

public void flush()
           throws IOException

Description copied from interface: PersistentHistory

Flush all items to persistent storage.

Specified by:

flush in interface Flushable

Specified by:

flush in interface PersistentHistory

Throws:

IOException - Flush failed

purge

public void purge()
           throws IOException

Description copied from interface: PersistentHistory

Purge persistent storage and History.clear().

Specified by:

purge in interface PersistentHistory

Throws:

IOException - Purge failed