Section Header

    + name :=OUTPUT_STREAM;

    - comment :="Standard Output Stream.";

Section Inherit

    - parent_object:OBJECT :=

Section Public

    - is_connected:BOOLEAN <-

    - put_character c:CHARACTER <-

    - put_string s:ABSTRACT_STRING <-
        Output `s' to current output device.

    - put_integer i:INTEGER <-
        Output `i' to current output device.

    - put_integer_format (i, s:INTEGER) <-
        Output `i' to current output device using at most
        `s' character.

Other features:


    - put_boolean b:BOOLEAN <-
        Output `b' to current output device according
        to the Eiffel format.

    - put_pointer p:POINTER <-
        Output a viewable version of `p'.

    - put_new_line <-
        Output a newline character.

    - put_spaces nb:INTEGER <-
        Output `nb' spaces character.

    - file_exists path:ABSTRACT_STRING :BOOLEAN<-

    - append_file file_name:STRING <-

    - flush <-
        forces a write of unwritten character (write my have been
        delayed, flush writes buffered characters)