| java.lang.Object java.io.Reader java.io.FilterReader org.gjt.sp.jedit.bsh.CommandLineReader
CommandLineReader | class CommandLineReader extends FilterReader (Code) | | This is a quick hack to turn empty lines entered interactively on the
command line into ';\n' empty lines for the interpreter. It's just more
pleasant to be able to hit return on an empty line and see the prompt
reappear.
This is *not* used when text is sourced from a file non-interactively.
|
Method Summary | |
public static void | main(String[] args) | public int | read() | public int | read(char buff, int off, int len) This is a degenerate implementation.
I don't know how to keep this from blocking if we try to read more
than one char... |
normallastCharNLsentSemi | final static int normallastCharNLsentSemi(Code) | | |
read | public int read(char buff, int off, int len) throws IOException(Code) | | This is a degenerate implementation.
I don't know how to keep this from blocking if we try to read more
than one char... There is no available() for Readers ??
|
|
|