Whether or not to add lines to the history automatically.
The history buffer.
The history buffer. The actual implementation depends on the underlying class.
A printable name for the implementation.
Cleans up, resetting the terminal to its proper state.
Cleans up, resetting the terminal to its proper state. The default implementation does nothing.
The completer, if any.
Get the maximum number of completions to show, when there are multiple completions that match a token (if supported by the underlying library).
Get the maximum number of completions to show, when there are multiple completions that match a token (if supported by the underlying library).
maximum number of completions to show, or 0 for all
Set the maximum number of completions to show, when there are multiple completions that match a token (if supported by the underlying library).
Set the maximum number of completions to show, when there are multiple completions that match a token (if supported by the underlying library).
maximum number of completions to show, or 0 for all
Read a line of input from the console.
Read a line of input from the console.
the prompt to display before reading.
An Option
containing the line (e.g., Some(...)
)
or None
on EOF.
Produce a readable version of this object.
Produce a readable version of this object.
a readable version of this object.
Defines the readline-like functionality supported by this API. A
Readline
class provides:- a means to read lines of input from (presumably) a terminal - a history mechanism - an optional tab-completion capability
Use JLine <https://github.com/jline/jline2>