Automatic generation produced by ISE Eiffel
class PROCESS_FACTORY General cluster: process description: "A factory to generate proper process launcher on different platforms." Ancestors BASE_PROCESS_FACTORY Queries base_process_launcher (a_file_name: READABLE_STRING_GENERAL; args: detachable ITERABLE [READABLE_STRING_GENERAL]; a_working_directory: detachable READABLE_STRING_GENERAL): BASE_PROCESS base_process_launcher_with_command_line (a_cmd_line: READABLE_STRING_GENERAL; a_working_directory: detachable READABLE_STRING_GENERAL): BASE_PROCESS current_process_info: PROCESS_INFO process_launcher (a_file_name: READABLE_STRING_GENERAL; args: detachable ITERABLE [READABLE_STRING_GENERAL]; a_working_directory: detachable READABLE_STRING_GENERAL): PROCESS process_launcher_with_command_line (a_cmd_line: READABLE_STRING_GENERAL; a_working_directory: detachable READABLE_STRING_GENERAL): PROCESS -- Generated by Eiffel Studio --
For more details: eiffel.org