[Group Index|Full Index]
ECLiPSe Kernel: Stream I/O
- 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 Pointer is the pointer position of the stream Stream.
- at_eof(+Stream)
-
Succeeds if the position of the pointer to stream Stream is at the 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.
- current_stream(?Name, ?Mode, ?Stream)
-
Succeeds if there is currently an open stream Stream open to the file Name
in the mode Mode. This predicate is obsolete, use current_stream/1 and
get_stream_info/3 instead.
- flush(+Stream)
-
Flushes the output stream Stream.
- get_prompt(+InStream, ?Prompt, ?OutStream)
-
Succeeds if the prompt for the stream InStream is Prompt and is written to
the stream OutStream.
- 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.
- 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_prompt(+InStream, +Prompt, +OutStream)
-
The prompt Prompt is output on the stream OutStream for input to the input
stream InStream.
- set_stream(+StreamId, +Stream)
-
The symbolic stream name StreamId is associated with the stream Stream.
- socket(+Domain, +Type, ?Stream)
-
Creates a socket of a given type and domain and associates a stream with
it.