Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class MUTEX General cluster: ise description: "Mutex synchronization object, allows threads to access global data through critical sections. Mutexes are recursive." create: make Ancestors DISPOSABLE* THREAD_ENVIRONMENT Queries is_set: BOOLEAN try_lock: BOOLEAN Commands destroy dispose lock unlock
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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