GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PROCESS_GROUP_WIN32
+
Point of view
All features
ANY
PROCESS_WIN32
All features
class PROCESS_GROUP_WIN32
Summary
top
Direct parents
Inherit list:
PROCESS_GROUP
Overview
top
Creation features
{
PROCESS_FACTORY
}
make
Features
{
ANY
}
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
{
PROCESS_WIN32
}
register
(process:
PROCESS_WIN32
)
unregister
(process:
PROCESS_WIN32
)
{}
make
handle_map
:
HASHED_DICTIONARY
[
PROCESS_WIN32
,
INTEGER_32
]
populate_handle_list
handle_list_dirty
:
BOOLEAN
handle_list
:
FAST_ARRAY
[
INTEGER_32
]
data
:
POINTER
basic_exec_win32_wait_any
(handles:
POINTER
, count_:
INTEGER_32
, data_:
POINTER
):
BOOLEAN
basic_exec_win32_any_finished
(handles:
POINTER
, count_:
INTEGER_32
, data_:
POINTER
):
BOOLEAN
basic_exec_alloc_data
:
POINTER
basic_exec_win32_handle
(dat:
POINTER
):
INTEGER_32
basic_exec_status
(dat:
POINTER
):
INTEGER_32
wait
:
PROCESS_WIN32
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
handle_map
:
HASHED_DICTIONARY
[
PROCESS_WIN32
,
INTEGER_32
]
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
not
handle_map
.is_empty
basic_exec_win32_any_finished
(handles:
POINTER
, count_:
INTEGER_32
, data_:
POINTER
):
BOOLEAN
{}
top
require
not
handle_map
.is_empty
basic_exec_alloc_data
:
POINTER
{}
top
basic_exec_win32_handle
(dat:
POINTER
):
INTEGER_32
{}
top
basic_exec_status
(dat:
POINTER
):
INTEGER_32
{}
top