class interface F_SYSTEM

feature(s) from F_SYSTEM
   sleep (milliseconds: INTEGER)
      --  Do nothing for milliseconds. The current process will 
      --  then be idle for that time.

      require
         valid: milliseconds >= 0

   execute (command: STRING)
      --  Create a new process.

      require
         valid: command /= Void

   process_id: INTEGER
      --  ID of current process (maybe used as unique identifier).


   output_debug_string (str: STRING)
      --  Output debug string to a debugger or a monitor program 
      --  listening to debug output.

      require
         valid: str /= Void

   beep
      --  System beep.

      require
         hardware:  --  machine.has_soundboard or else machine.has_speaker 

   string_from_resource (id: INTEGER): STRING
      --  Get string from resource.

      require
         valid_id:  --  has_resource_id (or else (Result.count = 0))
      ensure
         done: Result /= Void; --  New string
         is_copy: 


end of F_SYSTEM