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 CustomPortProxypublic void setHost(Value host)
setHost in interface CustomPortProxypublic Pair getProcs()
getProcs in interface CustomPortProxypublic int read()
throws java.io.IOException
read in class java.io.Readerjava.io.IOExceptionpublic int read(char[] buffer,
int offset,
int length)
throws java.io.IOException
read in class java.io.Readerjava.io.IOExceptionpublic boolean ready()
throws java.io.IOException
ready in class java.io.Readerjava.io.IOExceptionpublic void close()
throws java.io.IOException
close in interface java.io.Closeableclose in interface java.lang.AutoCloseableclose in class java.io.Readerjava.io.IOException