- 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