- 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 int
available()
void
close()
InputStream
createInputStream(Charset charset)
Writer
getWriter()
int
read()
int
read(char[] cbuf, int off, int len)
int
read(CharBuffer target)
boolean
ready()
-
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:
read
in classReader
- Throws:
IOException
-
read
public int read(char[] cbuf, int off, int len) throws IOException
- Specified by:
read
in classReader
- Throws:
IOException
-
read
public int read(CharBuffer target) throws IOException
- Specified by:
read
in interfaceReadable
- Overrides:
read
in classReader
- Throws:
IOException
-
close
public void close() throws IOException
- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceCloseable
- Specified by:
close
in classReader
- Throws:
IOException
-
-