+
Point of view
All features
deferred class PROCESS_GROUP
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: PROCESS_GROUP_NONE, PROCESS_GROUP_POSIX, PROCESS_GROUP_WIN32
Overview
top
Features
{ANY}
wait: PROCESS
deferred 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
deferred 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
deferred function
{ANY}
top
ensure
capacity: INTEGER_32
deferred function
{ANY}
top
ensure
  • Result >= 0