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