ANY NONE
expanded class interface SYSTEM
   --
   -- This expanded class allow to execute system command
   -- and to get/set environment variables.
   --

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.

feature(s) from SYSTEM
   basic_getenv (environment_variable: POINTER): POINTER
      -- To implement get_environment_variable.

   basic_putenv (variable, value: POINTER)
      -- To implement set_environment_variable.

   basic_system (system_command_line: POINTER): INTEGER



end of expanded SYSTEM