org.jline.reader.impl.history

Class DefaultHistory

java.lang.Object

org.jline.reader.impl.history.DefaultHistory

All Implemented Interfaces:

Iterable<History.Entry>, History

public class DefaultHistory
extends Object
implements History

History using a file for persistent backing.

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

Nested Class Summary

Nested classes/interfaces inherited from interface org.jline.reader.History

History.Entry

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_HISTORY_FILE_SIZE
static int	DEFAULT_HISTORY_SIZE

Constructor Summary

Constructors

Constructor and Description
DefaultHistory()
DefaultHistory(LineReader reader)

Method Summary

Modifier and Type	Method and Description
void	add(Instant time, String line)
void	attach(LineReader reader) Initialize the history for the given reader.
String	current() Return the content of the current buffer.
int	first()
String	get(int index)
int	index()
protected void	internalAdd(Instant time, String line)
boolean	isEmpty()
ListIterator<History.Entry>	iterator(int index)
int	last()
void	load() Load history.
protected boolean	matchPatterns(String patterns, String line)
boolean	moveTo(int index) Move to the specified index in the history
void	moveToEnd() Move to the end of the history buffer.
boolean	moveToFirst() Moves the history index to the first entry.
boolean	moveToLast() This moves the history to the last entry.
boolean	next() Move the pointer to the next element in the buffer.
boolean	previous() Move the pointer to the previous element in the buffer.
void	purge() Purge history.
void	save() Save history.
int	size()
String	toString()
protected void	trimHistory(Path path, int max)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jline.reader.History

add, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

DEFAULT_HISTORY_SIZE

public static final int DEFAULT_HISTORY_SIZE

See Also:

Constant Field Values

DEFAULT_HISTORY_FILE_SIZE

public static final int DEFAULT_HISTORY_FILE_SIZE

See Also:

Constant Field Values

Constructor Detail

DefaultHistory

public DefaultHistory()

DefaultHistory

public DefaultHistory(LineReader reader)

Method Detail

attach

public void attach(LineReader reader)

Description copied from interface: History

Initialize the history for the given reader.

Specified by:

attach in interface History

load

public void load()
          throws IOException

Description copied from interface: History

Load history.

Specified by:

load in interface History

Throws:

IOException

purge

public void purge()
           throws IOException

Description copied from interface: History

Purge history.

Specified by:

purge in interface History

Throws:

IOException

save

public void save()
          throws IOException

Description copied from interface: History

Save history.

Specified by:

save in interface History

Throws:

IOException

trimHistory

protected void trimHistory(Path path,
                           int max)
                    throws IOException

Throws:

IOException

size

public int size()

Specified by:

size in interface History

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface History

index

public int index()

Specified by:

index in interface History

first

public int first()

Specified by:

first in interface History

last

public int last()

Specified by:

last in interface History

get

public String get(int index)

Specified by:

get in interface History

add

public void add(Instant time,
                String line)

Specified by:

add in interface History

matchPatterns

protected boolean matchPatterns(String patterns,
                                String line)

internalAdd

protected void internalAdd(Instant time,
                           String line)

iterator

public ListIterator<History.Entry> iterator(int index)

Specified by:

iterator in interface History

moveToLast

public boolean moveToLast()

This moves the history to the last entry. This entry is one position before the moveToEnd() position.

Specified by:

moveToLast in interface History

Returns:

Returns false if there were no history iterator or the history index was already at the last entry.

moveTo

public boolean moveTo(int index)

Move to the specified index in the history

Specified by:

moveTo in interface History

moveToFirst

public boolean moveToFirst()

Moves the history index to the first entry.

Specified by:

moveToFirst in interface History

Returns:

Return false if there are no iterator in the history or if the history is already at the beginning.

moveToEnd

public void moveToEnd()

Move to the end of the history buffer. This will be a blank entry, after all of the other iterator.

Specified by:

moveToEnd in interface History

current

public String current()

Return the content of the current buffer.

Specified by:

current in interface History

previous

public boolean previous()

Move the pointer to the previous element in the buffer.

Specified by:

previous in interface History

Returns:

true if we successfully went to the previous element

next

public boolean next()

Move the pointer to the next element in the buffer.

Specified by:

next in interface History

Returns:

true if we successfully went to the next element

toString

public String toString()

Overrides:

toString in class Object