Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_THREAD_WORKER Ancestors ANY EV_THREAD_SEVERITY_CONSTANTS Clients EV_THREAD_WORKER Suppliers ARRAYED_QUEUE [G] BOOLEAN EV_APPLICATION EV_ENVIRONMENT EV_THREAD_EVENT EV_THREAD_WORKER MUTEX PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] ROUTINE* [OPEN_ARGS -> detachable TUPLE create default_create end] WORKER_THREAD
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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