GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
THREAD_LOCK
+
Point of view
All features
ANY
All features
class THREAD_LOCK
Summary
top
Direct parents
Insert list:
DISPOSABLE
Class invariant
top
native_data
.is_not_null
Overview
top
Creation features
{
ANY
}
default_create
Default creation method.
Features
{
ANY
}
is_locked
:
BOOLEAN
lock
unlock
timed_wait
(timeout_ms:
INTEGER_32
):
BOOLEAN
True if the wait succeeded, False if timed out
wait
notify
notify_all
{}
default_create
Default creation method.
native_data
:
POINTER
dispose
Action to be executed just before garbage collection reclaims an object.
alloc_native_data
free_native_data
is_locked
:
BOOLEAN
{
ANY
}
top
lock
{
ANY
}
top
ensure
is_locked
unlock
{
ANY
}
top
require
is_locked
timed_wait
(timeout_ms:
INTEGER_32
):
BOOLEAN
{
ANY
}
top
True if the wait succeeded, False if timed out
require
is_locked
timeout_ms >= 0
wait
{
ANY
}
top
require
is_locked
notify
{
ANY
}
top
require
is_locked
notify_all
{
ANY
}
top
require
is_locked
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
native_data
:
POINTER
writable attribute
{}
top
dispose
effective procedure
{}
top
Action to be executed just before garbage collection reclaims an object.
alloc_native_data
{}
top
free_native_data
{}
top