home
wiki
classes/clusters list
class information
+
Point of view
PROCESS_WIN32
ANY
PROCESS_WIN32
INTERNALS_HANDLER
All features
class PROCESS_GROUP_WIN32
Summary
top
Direct parents
inherit list:
PROCESS_GROUP
Overview
top
creation features
exported features
wait
:
PROCESS_WIN32
Wait for a process to finish and return it.
finished
:
PROCESS_WIN32
If a process has already finished but hasn't been waited for, return it immediately.
count
:
INTEGER_32
capacity
:
INTEGER_32
register
(process:
PROCESS_WIN32
)
unregister
(process:
PROCESS_WIN32
)
wait
:
PROCESS_WIN32
effective function
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
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
top
ensure
Result.in_range(0, capacity)
capacity
:
INTEGER_32
top
ensure
Result >= 0
register
(process:
PROCESS_WIN32
)
effective procedure
top
unregister
(process:
PROCESS_WIN32
)
effective procedure
top