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