INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

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

SYNCHRONIZATION_OBJECT
end

MEMORY
rename
dispose as close
export
{NONE}
all
redefine
close
end
creation

make_create,
make_open
feature {NONE}-- Creation

make_create (name: STRING; initial_state: BOOLEAN; manual_reset: BOOLEAN)
-- Create a new event object or open an existing one

make_open (name: STRING)
-- Open an existing event object
require
valid_name: name /= void and then not name.is_empty
feature -- Status report

is_open: BOOLEAN

is_created: BOOLEAN
feature -- Operations

set

reset

pulse
feature -- Disposal

close
ensure
not is_open
invariant

is_created implies is_open
end -- class SYNCHRONIZATION_EVENT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES