expanded class interface SYSTEM
   --
   -- This expanded class allow to execute system command
   -- and to get/set environment variables.
   --
   --inherit ANY redefine get_environment_variable end

feature(s) from SYSTEM   get_environment_variable (variable: STRING): STRING
      -- Try to get the value of the system environment variable or some
      -- variable in the system registry. Gives Void when no information
      -- about the variable is available. Under UNIX like system, this 
      -- is in fact the good way to know about some system environment 
      -- variable.
      -- Under Windows, this function also look in the system registery.

      require
         variable /= Void

   set_environment_variable (variable, value: STRING)
      -- Try to assign the system environment variable with value.

      require
         variable /= Void;
         value /= Void

   execute_command (system_command_line: STRING): INTEGER
      -- To execute a system_command_line as for example, "ls -l" on UNIX.
      -- The Result depends of the actual operating system. As an exemple,
      -- this execute feature is under UNIX the equivalent of a system call.

      require
         system_command_line /= Void

   execute_command_line (system_command_line: STRING)
      -- The equivalent of execute_command without Result.




end of expanded SYSTEM