▲◄►The Ciao System » PART VI - Ciao library miscellanea »

Structured stream handling

Usage and interface

Library usage:
:- use_module(library(streams)).
Exports:
- Predicates:
  open_null_stream/1, open_input/2, close_input/1, open_output/2, close_output/1.
Imports:
- Packages:
  prelude, nonpure, condcomp, assertions.

Documentation on exports

PREDICATE

open_null_stream/1:

Usage:open_null_stream(S)

The following properties should hold upon exit:
(streams_basic:stream/1)S is an open stream.

PREDICATE

Usage:open_input(FileName,InputStreams)

The following properties should hold at call time:
(streams_basic:sourcename/1)FileName is a source name.
The following properties should hold upon exit:
(streams:input_handler/1)streams:input_handler(InputStreams)

PREDICATE

Usage:close_input(InputStreams)

The following properties should hold at call time:
(streams:input_handler/1)streams:input_handler(InputStreams)
The following properties should hold upon exit:
(streams:input_handler/1)streams:input_handler(InputStreams)

PREDICATE

Usage:open_output(FileName,OutputStreams)

The following properties should hold at call time:
(streams_basic:sourcename/1)FileName is a source name.
The following properties should hold upon exit:
(streams:output_handler/1)streams:output_handler(OutputStreams)

PREDICATE

close_output/1:

Usage:close_output(OutputStreams)

The following properties should hold at call time:
(streams:output_handler/1)streams:output_handler(OutputStreams)
The following properties should hold upon exit:
(streams:output_handler/1)streams:output_handler(OutputStreams)