indexing description: "Test case for testing mutexes" library: "elogger" copyright: "Copyright (c) 2006, AXA Rosenberg, and others (see copyright.txt)" author: "Ulrich Weiss, and others" license: "Eiffel Forum License v2 (see forum.txt)" date: "$Date: $" revision: "$Revision: $" archive: "$Archive: $" deferred class TEST_ELOG_MUTEX inherit TS_TEST_CASE undefine name_of_id, execute_i_th end feature -- Test test_mutex is -- test ELOG_MUTEX. local m, m2: ELOG_MUTEX a: BOOLEAN do -- create m.make -- create m2.make -- a := m.is_active -- m.set_all_active -- m.lock -- assert_true ("m_locked", m.has_locked) -- m.unlock -- m.set_all_inactive -- assert_true ("m2_active", not m2.is_active) -- m2.lock -- m2.unlock -- if a then -- m2.set_all_active -- end end end