+
Point of view
All features
class PROCESS_GROUP_WIN32
Summary
top
Direct parents
Inherit list: PROCESS_GROUP
Overview
top
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_WIN32
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
effective function
{ANY}
top
ensure
  • Result.in_range(0, capacity)
capacity: INTEGER_32
{ANY}
top
ensure
  • Result >= 0
register (process: PROCESS_WIN32)
effective procedure
{PROCESS_WIN32}
top
unregister (process: PROCESS_WIN32)
effective procedure
{PROCESS_WIN32}
top
make
effective procedure
{}
top
writable attribute
{}
top
populate_handle_list
effective procedure
{}
top
handle_list_dirty: BOOLEAN
writable attribute
{}
top
handle_list: FAST_ARRAY[INTEGER_32]
writable attribute
{}
top
data: POINTER
writable attribute
{}
top
basic_exec_win32_wait_any (handles: POINTER, count_: INTEGER_32, data_: POINTER): BOOLEAN
{}
top
require
basic_exec_win32_any_finished (handles: POINTER, count_: INTEGER_32, data_: POINTER): BOOLEAN
{}
top
require
basic_exec_alloc_data: POINTER
{}
top
basic_exec_win32_handle (dat: POINTER): INTEGER_32
{}
top
basic_exec_status (dat: POINTER): INTEGER_32
{}
top