Package org.jline.utils
Class PumpReader.Writer
- java.lang.Object
-
- java.io.Writer
-
- org.jline.utils.PumpReader.Writer
-
- All Implemented Interfaces:
java.io.Closeable
,java.io.Flushable
,java.lang.Appendable
,java.lang.AutoCloseable
- Enclosing class:
- PumpReader
private static class PumpReader.Writer extends java.io.Writer
-
-
Field Summary
Fields Modifier and Type Field Description private PumpReader
reader
-
Constructor Summary
Constructors Modifier Constructor Description private
Writer(PumpReader reader)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
close()
void
flush()
void
write(char[] cbuf, int off, int len)
void
write(int c)
void
write(java.lang.String str, int off, int len)
-
-
-
Field Detail
-
reader
private final PumpReader reader
-
-
Constructor Detail
-
Writer
private Writer(PumpReader reader)
-
-
Method Detail
-
write
public void write(int c) throws java.io.IOException
- Overrides:
write
in classjava.io.Writer
- Throws:
java.io.IOException
-
write
public void write(char[] cbuf, int off, int len) throws java.io.IOException
- Specified by:
write
in classjava.io.Writer
- Throws:
java.io.IOException
-
write
public void write(java.lang.String str, int off, int len) throws java.io.IOException
- Overrides:
write
in classjava.io.Writer
- Throws:
java.io.IOException
-
flush
public void flush() throws java.io.IOException
- Specified by:
flush
in interfacejava.io.Flushable
- Specified by:
flush
in classjava.io.Writer
- Throws:
java.io.IOException
-
close
public void close() throws java.io.IOException
- Specified by:
close
in interfacejava.lang.AutoCloseable
- Specified by:
close
in interfacejava.io.Closeable
- Specified by:
close
in classjava.io.Writer
- Throws:
java.io.IOException
-
-