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.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, assertions.
- Packages:
Documentation on exports
PREDICATE
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
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)
