Modifier and Type | Field and Description |
---|---|
protected boolean |
promptEmitted |
protected Procedure |
prompter |
protected OutPort |
tie |
inLocation
buffer, BUFFER_SIZE, in, limit, lineNumber, markPos, pos, readAheadLimit, readState
Constructor and Description |
---|
TtyInPort(java.io.InputStream in,
Path name,
OutPort tie) |
TtyInPort(java.io.Reader in,
Path name,
OutPort tie) |
Modifier and Type | Method and Description |
---|---|
void |
emitPrompt(java.lang.String prompt) |
protected int |
fill(int len)
Called by
read() when it needs its buffer filled. |
Procedure |
getPrompter()
Get the current prompter function.
|
void |
lineStart(boolean revisited)
A hook to allow sub-classes to perform some action at start of line.
|
int |
read() |
int |
read(char[] cbuf,
int off,
int len) |
void |
setPrompter(Procedure prompter)
Set the prompter function.
|
inDefault, openFile, openFile, openFile, openFile, print, setInDefault
close, getColumnNumber, getConvertCR, getLineNumber, getName, getPath, getReadState, incrLineNumber, isOpen, mark, markSupported, peek, peekCodePoint, peekCodePoint, readCodePoint, readCodePoint, readLine, readLine, ready, reset, setBuffer, setConvertCR, setKeepFullLines, setLineNumber, setName, setPath, skip_quick, skip, skip, skipRestOfLine, sourceReady, unread_quick, unread
protected OutPort tie
protected Procedure prompter
protected boolean promptEmitted
public Procedure getPrompter()
public void setPrompter(Procedure prompter)
protected int fill(int len) throws java.io.IOException
LineBufferedReader
read()
when it needs its buffer filled.
Read characters into buffer, starting at pos, for len.
Can assume that len > 0
. Only called if pos>=limit
.
Return -1 if EOF, otherwise number of read chars.
This can be usefully overridden by sub-classes.fill
in class LineBufferedReader
java.io.IOException
public void emitPrompt(java.lang.String prompt) throws java.io.IOException
java.io.IOException
public void lineStart(boolean revisited) throws java.io.IOException
LineBufferedReader
lineStart
in class LineBufferedReader
revisited
- true if we have read here before (i.e.
we did a reset or unread() to get here)java.io.IOException
public int read() throws java.io.IOException
read
in class LineBufferedReader
java.io.IOException
public int read(char[] cbuf, int off, int len) throws java.io.IOException
read
in class LineBufferedReader
java.io.IOException