Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.thread

Class EM_MUTEX


Direct ancestors

SDL_MUTEX_FUNCTIONS_EXTERNAL, DISPOSABLE

Creation

Features

Invariants

indexing

description

*** Since Eiffel doesn't correctly support threats, this doesn't work yet ***

A EM_MUTEX is used to synchronize differend Thread.

See EM_TIME.

date

$Date: 2005/10/26 12:19:15 $

revision

$Revision: 1.8 $

class

EM_MUTEX

create

make

-- Creates a mutex.

feature -- Commands

lock

-- Waits until you get a lock on current

unlock

-- Realeses the lock on current

feature {EM_CONDITION_VAR} -- implementation

p: POINTER

-- POINTER to the external mutex

invariant


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

end