public class SchemeReader extends java.io.Reader implements CustomPortProxy
Constructor and Description |
---|
SchemeReader(Procedure read,
Procedure readString,
Procedure ready,
Procedure close) |
public Value getHost()
getHost
in interface CustomPortProxy
public void setHost(Value host)
setHost
in interface CustomPortProxy
public Pair getProcs()
getProcs
in interface CustomPortProxy
public int read() throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
public int read(char[] buffer, int offset, int length) throws java.io.IOException
read
in class java.io.Reader
java.io.IOException
public boolean ready() throws java.io.IOException
ready
in class java.io.Reader
java.io.IOException
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