flush(+Stream)

+Stream

Integer (stream number) or Atom (reserved or user-defined symbolic stream name).

Description

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).

Fail Conditions

Resatisfiable

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