+
Point of view
All features
class THREAD [R_, T_ -> TUPLE]
Summary
Direct parents
Insert list: ANY
Class invariant
Overview
Creation features
{ANY}
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}
{}
start (args: T_): THREAD_CONTEXT[R_, T_]
effective function
{ANY}
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}
Convenient function that waits for a result.
Use with caution, deadlocks lurk this way.
require
  • args /= Void
routine: FUNCTION[TUPLE[T_, R_]]
writable attribute
make (a_routine: FUNCTION[TUPLE[T_, R_]])
effective procedure
{}
require
  • a_routine /= Void
ensure