- java.lang.Object
-
- java.io.Reader
-
- org.jline.utils.PumpReader
-
- All Implemented Interfaces:
Closeable,AutoCloseable,Readable
public class PumpReader extends Reader
-
-
Constructor Summary
Constructors Constructor Description PumpReader()PumpReader(int bufferSize)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intavailable()voidclose()InputStreamcreateInputStream(Charset charset)WritergetWriter()intread()intread(char[] cbuf, int off, int len)intread(CharBuffer target)booleanready()-
Methods inherited from class java.io.Reader
mark, markSupported, nullReader, read, reset, skip, transferTo
-
-
-
-
Method Detail
-
getWriter
public Writer getWriter()
-
createInputStream
public InputStream createInputStream(Charset charset)
-
available
public int available()
-
read
public int read() throws IOException- Overrides:
readin classReader- Throws:
IOException
-
read
public int read(char[] cbuf, int off, int len) throws IOException- Specified by:
readin classReader- Throws:
IOException
-
read
public int read(CharBuffer target) throws IOException
- Specified by:
readin interfaceReadable- Overrides:
readin classReader- Throws:
IOException
-
close
public void close() throws IOException- Specified by:
closein interfaceAutoCloseable- Specified by:
closein interfaceCloseable- Specified by:
closein classReader- Throws:
IOException
-
-