GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PROCESS_GROUP
+
Point of view
All features
ANY
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
Wait for a process to finish and return it.
finished
:
PROCESS
If a process has already finished but hasn't been waited for, return it immediately.
count
:
INTEGER_32
capacity
:
INTEGER_32
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
Result.in_range(0,
capacity
)
capacity
:
INTEGER_32
deferred function
{
ANY
}
top
ensure
Result >= 0