3.36. kink/host_lang/java/JAVA_IO

Provides adapter of Java IO objects to Kink IO vals.

3.36.1. JAVA_IO.input_of_input_stream(Stream)

Returns an adapter input for Java InputStream.

The parameter Stream must be a java val of java.io.InputStream.

3.36.2. JAVA_IO.output_of_output_stream(Stream)

Returns an adapter output for Java OutputStream.

The parameter Stream must be a java val of java.io.OutputStream.