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