public class SchemeOutputStream extends java.io.OutputStream implements CustomPortProxy
Constructor and Description |
---|
SchemeOutputStream(Procedure write,
Procedure writeBlock,
Procedure flush,
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 void write(int c) throws java.io.IOException
write
in class java.io.OutputStream
java.io.IOException
public void write(byte[] b, int offset, int length) throws java.io.IOException
write
in class java.io.OutputStream
java.io.IOException
public void flush() throws java.io.IOException
flush
in interface java.io.Flushable
flush
in class java.io.OutputStream
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.OutputStream
java.io.IOException