GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
THREAD_CONTEXT
+
Point of view
All features
ANY
THREAD
All features
class THREAD_CONTEXT [R_, T_ ->
TUPLE
]
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
thread
/= Void
args
/= Void
Overview
top
Creation features
{
THREAD
}
make
(t: THREAD[R_, T_], a: T_)
Features
{
ANY
}
thread
: THREAD[R_, T_]
args
: T_
wait
Wait for the thread to finish
is_started
:
BOOLEAN
True if the thread did actually start
is_finished
:
BOOLEAN
True when the thread has finished
status
: R_
The returning value
{
THREAD
}
run
{
THREAD
}
make
(t: THREAD[R_, T_], a: T_)
native_data
:
POINTER
thread
: THREAD[R_, T_]
writable attribute
{
ANY
}
top
args
: T_
writable attribute
{
ANY
}
top
wait
{
ANY
}
top
Wait for the thread to finish
require
is_started
ensure
is_finished
is_started
:
BOOLEAN
writable attribute
{
ANY
}
top
True if the thread did actually start
is_finished
:
BOOLEAN
writable attribute
{
ANY
}
top
True when the thread has finished
require
is_started
status
: R_
writable attribute
{
ANY
}
top
The returning value
require
is_started
is_finished
run
{
THREAD
}
top
require
not
is_started
make
(t: THREAD[R_, T_], a: T_)
effective procedure
{
THREAD
}
top
require
t /= Void
a /= Void
ensure
thread
= t
args
= a
native_data
:
POINTER
writable attribute
{
THREAD
}
top