Automatic generation produced by ISE Eiffel
class PROCESS_THREAD_TIMER Ancestors EXECUTION_ENVIRONMENT PROCESS_TIMER* THREAD* Clients PROCESS* PROCESS_THREAD_TIMER Suppliers BOOLEAN INTEGER_32 INTEGER_64 MUTEX PLATFORM PROCESS_IMP PROCESS_THREAD_TIMER -- Generated by Eiffel Studio --
For more details: eiffel.org