org.gnu.readline
public class ReadlineReader extends Reader
Reader
wrapper for the Readline classes. This seems
to work fine in conjunction with such classes as BufferedReader,
but it hasn't been tested well enough to see if this will work well
in all cases.
This was implemented to make it easier to supplant Readline's
functionality [shrug] anywhere and everywhere, but specifically in
BeanShell.
Version: $Revision: 1.2 $
Field Summary | |
---|---|
static String | DEFAULT_PROMPT |
Constructor Summary | |
---|---|
ReadlineReader(String prompt, ReadlineLibrary lib)
Constructs a ReadlineReader object with the given prompt.
| |
ReadlineReader(ReadlineLibrary lib)
Constructs a ReadlineReader object with the default prompt.
| |
ReadlineReader(File history, ReadlineLibrary lib)
Constructs a ReadlineReader object with an associated history
file.
| |
ReadlineReader(String prompt, File history, ReadlineLibrary lib)
Constructs a ReadlineReader object with an associated history
file and prompt.
|
Method Summary | |
---|---|
void | close()
Nullifies all buffers and writes history file if one was given
at construction time.
|
String | getPrompt()
Returns the current prompt.
|
static void | main(String[] args) |
int | read(char[] cbuf, int off, int len)
Reads what's given from readline() into a buffer.
|
void | setPrompt(String prompt)
Sets the prompt to the given value.
|
readline()
into a buffer.
When that buffer is emptied, readline()
is called
again to replenish that buffer. This seems to work fine in
conjunction with such classes as BufferedReader, but it hasn't
been tested well enough to see if this will work well in all
cases.