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

flush(+Stream)

Flushes the output stream Stream.
Stream
Integer (stream number) or Atom (reserved or user-defined symbolic stream name).

Description

Used to flush any data contained in the Stream buffer.

Buffered output may need to be flushed e.g. by writing again, by using flush/1, or by closing the stream.

Stream can be a symbolic stream name (atom) or a physical stream number (integer).

Modes and Determinism

Exceptions

(4) instantiation fault
Stream is not instantiated.
(5) type error
Stream is instantiated neither to an integer nor an atom.
(192) illegal stream mode
Stream is not an output stream.

Examples

Success:
      flush(output).
      flush(null).

      [eclipse]: pipe(in,out), write(out, 'q(a).\n'),
      > flush(out), read(in,T).
      T = q(a).
      yes.

Error:
      flush(Stream).            (Error 4).
      flush("Stream").          (Error 5).
      flush(12).                (Error 192). % no such stream
      flush(debug_input).       (Error 192). % input stream



See Also

set_stream_property / 3, open / 3, open / 4, close / 1, tyo / 2