Structured stream handling

Usage and interface

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)