public static class ReadlinePanel.OutputWriter
extends java.io.Writer
Constructor and Description |
---|
ReadlinePanel.OutputWriter(ReadlinePanel console) |
public ReadlinePanel.OutputWriter(ReadlinePanel console)
public void close()
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.Writer
public void flush()
flush
in interface java.io.Flushable
flush
in class java.io.Writer
public void write(char[] cbuf, int off, int len)
write
in class java.io.Writer