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)