INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Critical section"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: emthread
class EMT_CRITICAL_SECTION
inherit

MEMORY
redefine
dispose
end
creation

make
feature {NONE}-- Creation

make
feature -- Disposal

dispose
-- Frees resources and disallows future use of the object
feature -- Access

lock
-- Blocks any thread other than current until "unlock" is performed
require
valid_handle: handle /= void

unlock
-- Allows other threads to complete "lock"
require
valid_handle: handle /= void
end -- class EMT_CRITICAL_SECTION

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES