[ Reference Manual | Alphabetic Index ]

# Stream I/O

Built-ins to open, manipulate and close I/O streams

## Predicates

> accept(+Stream, -From, ?NewStream)
>   Accepts a connection for a stream socket and creates a new socket which can be used for I/O.
> at(+Stream, -Pointer)
>   Succeeds if Position is the position of the stream Stream.
> at_eof(+Stream)
>   Succeeds if the stream Stream is positioned at end of file.
> bind(+Stream, ?Address)
>   Associates an address with a given socket stream.
> close(+Stream)
>   Closes the stream specified by Stream.
> close(+Stream, +Options)
>   Closes the stream specified by Stream.
> connect(+Stream, +Address)
>   Connects a socket with the given address.
> current_stream(?Stream)
>   Succeeds if Stream is a currently open stream.
> flush(+Stream)
>   Flushes the output stream Stream.
> get_stream(+StreamId, ?Stream)
>   Succeeds if Stream is the stream to which the stream StreamId is assigned.
> get_stream_info(+Stream, ?Attr, -Value)
>   Succeeds if the attribute Attr of the open stream Stream has the value Value.
> listen(+Stream, +Queue)
>   Specifies how many connections are accepted for a socket and makes connections available.
> new_socket_server(?Socket, ?Address, +Queue)
>   Opens a new IP socket server stream with a maximum of Queue connections.
> open(++SourceSink, +Mode, ?Stream)
>   Opens the I/O source or sink SourceSink in mode Mode and associates it with the stream identifier Stream.
> open(++SourceSink, +Mode, ?Stream, ++Options)
>   Opens the I/O source or sink SourceSink in mode Mode and associates it with the stream identifier Stream.
> seek(+Stream, +Offset)
>   The pointer in stream Stream is offset Offset from the start of the file
> set_stream(+Alias, +Stream)
>   The symbolic stream name Alias is associated with the stream Stream.
> set_stream_property(+Stream, +Prop, +Value)
>   Sets the property Prop of the stream Stream to the value Value.
> socket(+Domain, +Type, ?Stream)
>   Creates a socket of a given type and domain and associates a stream with it.
> stream_select(++StreamList, +Timeout, -ReadyStreams)
>   Returns streams from StreamList which are ready for I/O, blocking at most Timeout seconds.
> stream_truncate(+Stream)
>   Truncate Stream at the current position

Generated from iostream.eci on 2022-09-03 14:26