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 MULTI_SYNCHRONIZER
inherit

SYNCHRONIZER
redefine
is_abandoned,
is_signaled
end
feature -- Queries

is_abandoned: BOOLEAN

is_signaled: BOOLEAN

which_signaled: INTEGER
-- Zero-based index of the element in the array of synchronization
-- objects
require
is_signaled: is_signaled
ensure
valid_result: Result >= 0 and Result < n_obj

which_abandoned: INTEGER
-- Zero-based index of the element in the array of synchronization
-- objects
require
is_abandoned: is_abandoned
ensure
valid_result: Result >= 0 and Result < n_obj
feature -- Operations

wait_multiple (ao: ARRAY [SYNCHRONIZATION_OBJECT]; wait_all: BOOLEAN; time: INTEGER)
require
valid_object_array: ao /= void and then not ao.is_empty
fits_well: ao.count <= maximum_wait_objects
end -- class MULTI_SYNCHRONIZER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES