Class PumpReader.InputStream

java.lang.Object
java.io.InputStream
org.jline.utils.PumpReader.InputStream
All Implemented Interfaces:
Closeable, AutoCloseable
Enclosing class:
PumpReader

private static class PumpReader.InputStream extends InputStream