+
Point of view
All features
class PROCESS_GROUP_NONE
Summary
top
Direct parents
Inherit list: PROCESS_GROUP
Overview
top
Creation features
{PROCESS_FACTORY}
Features
{ANY}
{}
wait: PROCESS
effective function
{ANY}
top
Wait for a process to finish and return it.
If a process has already finished but hasn't been waited for, return it immediately. If all processes have already been waited for, return Void.
finished: PROCESS
effective function
{ANY}
top
If a process has already finished but hasn't been waited for, return it immediately.
If all finished processes have already been waited for, return Void.
count: INTEGER_32
is 0
constant attribute
{ANY}
top
ensure
  • Result.in_range(0, capacity)
capacity: INTEGER_32
is 0
constant attribute
{ANY}
top
ensure
  • Result >= 0
make
effective procedure
{}
top