6.76. kink/javahost/JAVA_STREAM_INPUT

6.76.1. JAVA_STREAM_INPUT.new(Stream)

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

input型については、 kink/io/INPUT を見よう。

事前条件

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

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

例

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

:Bais_class <- JAVA.class('java.io.ByteArrayInputStream')
:Bais <- Bais_class.new(JAVA.bytes(BIN.of(1 2 3)))
CONTROL.with_finally{(:finally)
  :In = JAVA_STREAM_INPUT.new(Bais)
  finally{ In.close }
  :Bin = In.read_all
  stdout.print_line(Bin.repr) # => (bin 0x01 0x02 0x03)
}