GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PROCESS_RUNNER
+
Point of view
All features
ANY
All features
deferred class PROCESS_RUNNER
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
PROCESS
,
PROCESS_SCHEDULER
Overview
top
Features
{
ANY
}
execute
(program:
STRING
, arguments:
TRAVERSABLE
[
STRING
], keep_environment:
BOOLEAN
)
Execute the given
program
(how the program is discovered is OS-dependent), passing to it the
arguments
.
execute_command_line
(command_line:
STRING
, keep_environment:
BOOLEAN
)
Execute the
command_line
through the operating system's basic shell.
is_ready
:
BOOLEAN
execute
(program:
STRING
, arguments:
TRAVERSABLE
[
STRING
], keep_environment:
BOOLEAN
)
deferred procedure
{
ANY
}
top
Execute the given
program
(how the program is discovered is OS-dependent), passing to it the
arguments
.
The environment is cleared if
keep_environment
is False.
require
program /= Void
is_ready
execute_command_line
(command_line:
STRING
, keep_environment:
BOOLEAN
)
deferred procedure
{
ANY
}
top
Execute the
command_line
through the operating system's basic shell.
The environment is cleared if
keep_environment
is False.
See also:
SYSTEM
.execute_command
require
command_line /= Void
not command_line.is_empty
is_ready
is_ready
:
BOOLEAN
deferred function
{
ANY
}
top