class WORKER_THREAD Ancestors THREAD* Clients WORKER_THREAD Suppliers PLATFORM PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] WORKER_THREAD
Generated by ISE EiffelStudio