Stream I/O Built-ins

ECLiPSe Stream I/O built-in.

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(?Name, ?Mode, ?Stream)

Succeeds if there is currently an open stream Stream open to the file Name in the mode Mode.  

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(?File, +Mode, ?Stream)

The file File is opened in mode Mode, and a stream Stream is provided for it.  

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.