class THREAD_ENVIRONMENT Ancestors ANY Descendants MUTEX Clients THREAD_ENVIRONMENT Suppliers THREAD_ENVIRONMENT
Generated by ISE EiffelStudio