6.77. kink/javahost/JAVA_STREAM_OUTPUT

6.77.1. JAVA_STREAM_OUTPUT.new(Stream)

newは、JavaのOutputStreamオブジェクトをラップするoutput値を戻す。

output型については kink/io/OUTPUT を見よう。

事前条件

Streamはjava値でなければならない。

Streamのオブジェクト参照は java.io.OutputStream のインスタンスでなければならない。

例

:JAVA.require_from('kink/javahost/')
:JAVA_STREAM_OUTPUT.require_from('kink/javahost/')
:CONTROL.require_from('kink/')
:BIN.require_from('kink/')

:Baos_class <- JAVA.class('java.io.ByteArrayOutputStream')
:Baos <- Baos_class.new
CONTROL.with_finally{(:finally)
  :Out = JAVA_STREAM_OUTPUT.new(Baos)
  finally{ Out.close }
  Out.write(BIN.of(1 2 3))
  Out.write(BIN.of(4 5))
}
:Bin <- Baos.call_method('toByteArray').to_kink_bin
stdout.print_line(Bin.repr) # => (bin 0x01 0x02 0x03 0x04 0x05)