elogger API
Overview Classes Cluster Class Index          Top Features
thread

Class CONDITION_VARIABLE

Direct ancestors

DISPOSABLE

Creation

Features

Invariants

indexing

description

Class describing a condition variable.

legal

See notice at end of class.

status

See notice at end of class.

class CONDITION_VARIABLE

inherit

DISPOSABLE

create

make

-- Create and initialize condition variable.

require

thread_capable: {PLATFORM}.is_thread_capable

feature -- Initialization

make

-- Create and initialize condition variable.

require

thread_capable: {PLATFORM}.is_thread_capable

feature -- Access

is_set: BOOLEAN

-- Is condition variable initialized?

feature -- Status setting

broadcast

-- Unblock all threads blocked on the current condition variable.

require

is_set: is_set

destroy

-- Destroy condition variable.

require

is_set: is_set

signal

-- Unblock one thread blocked on the current condition variable.

require

is_set: is_set

wait (a_mutex: MUTEX)

-- Block calling thread on current condition variable.

require

is_set: is_set
a_mutex_not_void: a_mutex /= Void

wait_with_timeout (a_mutex: MUTEX; a_timeout: INTEGER): BOOLEAN

-- Block calling thread on current condition variable.
--| Return True is we got the condition variable on time
--| Otherwise return False

require

is_set: is_set
a_mutex_not_void: a_mutex /= Void
timeout_positive: a_timeout >= 0

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

indexing

copyright

Copyright (c) 1984-2006, Eiffel Software and others

license

Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)

source

Eiffel Software
356 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Website http://www.eiffel.com
Customer support http://support.eiffel.com

Documentation generated by edoc

elogger API
Overview Classes Cluster Class Index          Top Features