Automatic generation produced by ISE Eiffel
class EXECUTION_ENVIRONMENT General cluster: base.support description: "The objects available from the environment at time of execution" Ancestors ANY Queries Command_line: ARGUMENTS current_working_directory: STRING Default_shell: STRING get (s: STRING): STRING home_directory_name: STRING return_code: INTEGER root_directory_name: STRING Commands change_working_directory (path: STRING) launch (s: STRING) put (value, key: STRING) system (s: STRING) -- Generated by ISE Eiffel --
For more details: www.eiffel.com