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 ByteBuffer
private final CharsetEncoder
private final PumpReader
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionint
void
close()
private int
copyFromBuffer
(byte[] b, int off, int len) int
read()
int
read
(byte[] b, int off, int len) private boolean
Methods 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:
available
in classInputStream
- Throws:
IOException
-
read
- Specified by:
read
in classInputStream
- Throws:
IOException
-
readUsingBuffer
- Throws:
IOException
-
copyFromBuffer
private int copyFromBuffer(byte[] b, int off, int len) -
read
- Overrides:
read
in classInputStream
- Throws:
IOException
-
close
- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceCloseable
- Overrides:
close
in classInputStream
- Throws:
IOException
-