Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class THREAD General cluster: thread description: "Class defining an Eiffel thread." Ancestors THREAD_CONTROL 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 terminated: BOOLEAN thread_id: POINTER Commands execute exit join join_all launch launch_with_attributes (attr: THREAD_ATTRIBUTES) sleep (nanoseconds: INTEGER_64) yield
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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