Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class PROCESS_THREAD_TIMER General cluster: process description: "Process status listening timer implemented with thread." create: make Ancestors EXECUTION_ENVIRONMENT PROCESS_TIMER* THREAD* Queries Arguments: ARGUMENTS_32 available_cpu_count: NATURAL_32 current_thread_id: POINTER current_working_path: PATH Default_shell: STRING_32 has_started: BOOLEAN Home_directory_path: detachable PATH is_destroyed: BOOLEAN is_exit_supported: BOOLEAN is_last_launch_successful: BOOLEAN is_launchable: BOOLEAN item (s: READABLE_STRING_GENERAL): detachable STRING_32 join_with_timeout (a_timeout_ms: NATURAL_64): BOOLEAN process_launcher: detachable PROCESS return_code: INTEGER_32 Root_directory_name: STRING_8 sleep_time: INTEGER_32 starting_environment: HASH_TABLE [STRING_32, STRING_32] Temporary_directory_path: detachable PATH terminated: BOOLEAN thread_id: POINTER User_directory_path: detachable PATH wait (a_timeout: INTEGER_32): BOOLEAN Commands change_working_path (path: PATH) destroy environment_launch (s: READABLE_STRING_GENERAL) execute exit join join_all launch launch_with_attributes (attr: THREAD_ATTRIBUTES) obsolete_sleep (nanoseconds: INTEGER_64) put (value, key: READABLE_STRING_GENERAL) set_process_launcher (prc_launcher: PROCESS) sleep (nanoseconds: INTEGER_64) start system (s: READABLE_STRING_GENERAL) yield Constraints mutex not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org