public class ConsoleInputStream
extends java.io.Reader
Constructor and Description |
---|
ConsoleInputStream(Jython_Console console) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
int |
read(char[] cbuf,
int off,
int len) |
public ConsoleInputStream(Jython_Console console)
console
- public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
close
in class java.io.Reader
java.io.IOException
public void flush() throws java.io.IOException
java.io.IOException
public int read(char[] cbuf, int off, int len) throws java.io.IOException
read
in class java.io.Reader
java.io.IOException