[ The ECLiPSe Built-In Predicates | 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.
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.
pipe(?StreamIn, ?StreamOut)
Creates a pipe and two streams StreamIn and StreamOut to its read and write ends
seek(+Stream, +Offset)
The pointer in stream Stream is offset Offset from the start of the file
select(++StreamList, +Timeout, -ReadyStreams)
Returns streams from StreamList which are ready for I/O, blocking at most Timeout seconds.
set_stream(+StreamId, +Stream)
The symbolic stream name StreamId 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_truncate(+Stream)
Truncate Stream at the current position

Generated from iostream.eci on Mon Mar 31 03:10:12 2008