+
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.
wait (args: T_): R_
effective function
{ANY}
Convenient function that waits for a result.
routine: FUNCTION[TUPLE[T_, R_]]
writable attribute
make (a_routine: FUNCTION[TUPLE[T_, R_]])
effective procedure
{}