|
The Java-Readline Library, Version 0.8.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.io.Reader | +--org.gnu.readline.ReadlineReader
A 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.
Field Summary | |
static java.lang.String |
DEFAULT_PROMPT
|
Fields inherited from class java.io.Reader |
lock |
Constructor Summary | |
ReadlineReader(java.io.File history,
ReadlineLibrary lib)
Constructs a ReadlineReader object with an associated history file. |
|
ReadlineReader(ReadlineLibrary lib)
Constructs a ReadlineReader object with the default prompt. |
|
ReadlineReader(java.lang.String prompt,
java.io.File history,
ReadlineLibrary lib)
Constructs a ReadlineReader object with an associated history file and prompt. |
|
ReadlineReader(java.lang.String prompt,
ReadlineLibrary lib)
Constructs a ReadlineReader object with the given prompt. |
Method Summary | |
void |
close()
Nullifies all buffers and writes history file if one was given at construction time. |
java.lang.String |
getPrompt()
Returns the current prompt. |
static void |
main(java.lang.String[] args)
|
int |
read(char[] cbuf,
int off,
int len)
Reads what's given from readline() into a buffer. |
void |
setPrompt(java.lang.String prompt)
Sets the prompt to the given value. |
Methods inherited from class java.io.Reader |
mark, markSupported, read, read, ready, reset, skip |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String DEFAULT_PROMPT
Constructor Detail |
public ReadlineReader(java.lang.String prompt, ReadlineLibrary lib)
public ReadlineReader(ReadlineLibrary lib)
public ReadlineReader(java.io.File history, ReadlineLibrary lib) throws java.io.IOException
public ReadlineReader(java.lang.String prompt, java.io.File history, ReadlineLibrary lib) throws java.io.IOException
Method Detail |
public java.lang.String getPrompt()
public void setPrompt(java.lang.String prompt)
public int read(char[] cbuf, int off, int len) throws java.io.IOException
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.
read
in class java.io.Reader
java.io.IOException
public void close() throws java.io.IOException
close
in class java.io.Reader
java.io.IOException
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
|
The Java-Readline Library, Version 0.8.0 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |