Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class PROCESS_TIMER General cluster: process description: "Timer used to check process status." Ancestors ANY Queries has_started: BOOLEAN is_destroyed: BOOLEAN process_launcher: detachable PROCESS sleep_time: INTEGER_32 Commands set_process_launcher (prc_launcher: PROCESS) Constraints sleep time positive
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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