6.76. kink/javahost/JAVA_STREAM_INPUT

6.76.1. JAVA_STREAM_INPUT.new(Stream)

`new` returns an `input` value which wraps a Java InputStream object.

See kink/io/INPUT for `input` type.

Preconditions

`Stream` must be a `java` value.

The object reference of `Stream` must be an instance of java.io.InputStream.

Example

: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)
}