class MUTEX Ancestors DISPOSABLE* THREAD_ENVIRONMENT Clients CONDITION_VARIABLE MUTEX Suppliers BOOLEAN MUTEX PLATFORM
Generated by ISE EiffelStudio