GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PROCESS_LAUNCH_INFO
+
Point of view
All features
ANY
All features
class PROCESS_LAUNCH_INFO
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
command_line
= Void xor
program
= Void
command_line
= Void xor
arguments
= Void
Overview
top
Creation features
{
ANY
}
execute
(program_:
STRING
, arguments_:
TRAVERSABLE
[
STRING
], keep_environment_:
BOOLEAN
)
execute_command_line
(command_line_:
STRING
, keep_environment_:
BOOLEAN
)
Features
{
ANY
}
program
:
STRING
arguments
:
TRAVERSABLE
[
STRING
]
keep_environment
:
BOOLEAN
command_line
:
STRING
execute
(program_:
STRING
, arguments_:
TRAVERSABLE
[
STRING
], keep_environment_:
BOOLEAN
)
execute_command_line
(command_line_:
STRING
, keep_environment_:
BOOLEAN
)
program
:
STRING
writable attribute
{
ANY
}
top
arguments
:
TRAVERSABLE
[
STRING
]
writable attribute
{
ANY
}
top
keep_environment
:
BOOLEAN
writable attribute
{
ANY
}
top
command_line
:
STRING
writable attribute
{
ANY
}
top
execute
(program_:
STRING
, arguments_:
TRAVERSABLE
[
STRING
], keep_environment_:
BOOLEAN
)
effective procedure
{
ANY
}
top
require
program_ /= Void
arguments_ /= Void
ensure
program
.is_equal(program_)
keep_environment
= keep_environment_
execute_command_line
(command_line_:
STRING
, keep_environment_:
BOOLEAN
)
effective procedure
{
ANY
}
top
require
command_line_ /= Void
ensure
command_line
.is_equal(command_line_)
keep_environment
= keep_environment_