Package org.jline.utils
Class PumpReader.InputStream
java.lang.Object
java.io.InputStream
org.jline.utils.PumpReader.InputStream
- All Implemented Interfaces:
Closeable,AutoCloseable
- Enclosing class:
PumpReader
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final ByteBufferprivate final CharsetEncoderprivate final PumpReader -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionintvoidclose()private intcopyFromBuffer(byte[] b, int off, int len) intread()intread(byte[] b, int off, int len) private booleanMethods inherited from class java.io.InputStream
mark, markSupported, nullInputStream, read, readAllBytes, readNBytes, readNBytes, reset, skip, skipNBytes, transferTo
-
Field Details
-
reader
-
encoder
-
buffer
-
-
Constructor Details
-
InputStream
-
-
Method Details
-
available
- Overrides:
availablein classInputStream- Throws:
IOException
-
read
- Specified by:
readin classInputStream- Throws:
IOException
-
readUsingBuffer
- Throws:
IOException
-
copyFromBuffer
private int copyFromBuffer(byte[] b, int off, int len) -
read
- Overrides:
readin classInputStream- Throws:
IOException
-
close
- Specified by:
closein interfaceAutoCloseable- Specified by:
closein interfaceCloseable- Overrides:
closein classInputStream- Throws:
IOException
-