GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
THREAD
+
Point of view
All features
ANY
THREAD_CONTEXT
All features
class THREAD [R_, T_ ->
TUPLE
]
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
routine
/= Void
Overview
top
Creation features
{
ANY
}
make
(a_routine:
FUNCTION
[
TUPLE
[T_, R_]])
Features
{
ANY
}
start
(args: T_): THREAD_CONTEXT[R_, T_]
Starts the thread.
wait
(args: T_): R_
Convenient function that waits for a result.
{
THREAD_CONTEXT
}
routine
:
FUNCTION
[
TUPLE
[T_, R_]]
{}
make
(a_routine:
FUNCTION
[
TUPLE
[T_, R_]])
start
(args: T_): THREAD_CONTEXT[R_, T_]
effective function
{
ANY
}
top
Starts the thread.
The returned context gives some information on the running thread.
require
args /= Void
ensure
Result /= Void
wait
(args: T_): R_
effective function
{
ANY
}
top
Convenient function that waits for a result.
Use with caution, deadlocks lurk this way.
require
args /= Void
routine
:
FUNCTION
[
TUPLE
[T_, R_]]
writable attribute
{
THREAD_CONTEXT
}
top
make
(a_routine:
FUNCTION
[
TUPLE
[T_, R_]])
effective procedure
{}
top
require
a_routine /= Void
ensure
routine
= a_routine