Lisaac prototype interface

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)