Class PumpReader.Writer

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

private static class PumpReader.Writer extends Writer