Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class PROCESS_IO_LISTENER_THREAD General cluster: process description: "Thread which is served as a listener to output and error data from another launched process. It is used when you redirect output or error of a process to agent. It listens to process's output/error pipe, if data arrives, it will call the agent specified in output_handler or error_handler in PROCESS." Ancestors THREAD* Queries current_thread_id: POINTER is_exit_supported: BOOLEAN is_last_launch_successful: BOOLEAN is_launchable: BOOLEAN join_with_timeout (a_timeout_ms: NATURAL_64): BOOLEAN should_thread_exit: BOOLEAN terminated: BOOLEAN thread_id: POINTER Commands execute exit join join_all launch launch_with_attributes (attr: THREAD_ATTRIBUTES) obsolete_thread_sleep (nanoseconds: INTEGER_64) set_exit_signal set_sleep_time (interval: INTEGER_32) yield Constraints mutex not null
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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