[ Stream I/O | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

get_stream_info(+Stream, ?Attr, ?Value)

Succeeds if the attribute Attr of the open stream Stream has the value Value.

+Stream: Atom or integer denoting an open stream.
?Attr: Atom or variable.
?Value: Variable, atom, string or integer.

Description

Used to retrieve information associated to an open stream. The available attributes and their meanings are:

    Attr            Value         Description

    name            atom or       associated filename, or contents
                    string        (in case of a string or queue), or
                                  pseudo file name (user, error, null)

    device          file, null,   the device behind the stream
                    pipe, queue,
                    socket, tty,
                    string

    mode            read, write,  the stream's direction
                    update

    physical_stream integer       associated stream number

    aliases         integer       current number of symbolic names

    system_use      on, off       a system stream is currently
                                  redirected to this stream

    line            integer       current line number
                                  (input streams only)

    offset          integer       current position in the
                                  stream, as given by at/2

    output_options  list          default output options for all term
    				  output on this stream. The list
				  format is as in write_term/2,3.

    prompt          string        prompt string (input streams only)

    prompt_stream   integer       output stream for the prompt
                                  (input streams only)

    fd              integer       the associated UNIX file descriptor

    port            integer       port number associated with an
                                  internet socket

    connection      atom          identification of the connected
                                  socket - file name for unix sockets,
                                  host name for internet ones

    end_of_line     lf, crlf      which end-of-line sequence to write
                                  (output streams only)

    flush           flush,        explicit or implicit flushing
                    end_of_line   (output streams only)

    event           atom          event on writing to empty stream
                                  (see open/4)

    yield           on, off       yield on end-of-file (see open/4)

    usable          on, off       if the stream can currently be used:
                                  flushing or reading the empty stream
                                  may not be properly handled if `off'.

    sigio           on            SIGIO signals enabled (UNIX only)

Fail Conditions

Fails if Value does not unify with the current value of attribute Attr, or if the requested attribute is not available.

Resatisfiable

Yes.

Exceptions

(4) instantiation fault: Stream is not instantiated.
(5) type error: Stream is neither an atom nor an integer.
(5) type error: Attr is instantiated, but not to an atom.
(5) type error: Value is instantiated, but not to an atom, string or integer.
(6) out of range: Attr is an atom, but not a valid attribute name.
(193) illegal stream specification: Stream does not denote an open stream.

Examples