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

WAPI_SYNCHRONIZATION_FUNCTIONS
export
{NONE}
all
end

WAPI_WAIT_CONST
end
feature -- Queries

timeout_expired: BOOLEAN

is_abandoned: BOOLEAN

is_signaled: BOOLEAN
feature -- Operations

wait (o: SYNCHRONIZATION_OBJECT; time: INTEGER)
require
valid_object: o /= void and then o.is_open

frozen wait_infinitely (o: SYNCHRONIZATION_OBJECT)
end -- class SYNCHRONIZER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES