home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
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
execute
(program_:
STRING
, arguments_:
TRAVERSABLE
[
STRING
], keep_environment_:
BOOLEAN
)
execute_command_line
(command_line_:
STRING
, keep_environment_:
BOOLEAN
)
exported features
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
top
arguments
:
TRAVERSABLE
[
STRING
]
writable attribute
top
keep_environment
:
BOOLEAN
writable attribute
top
command_line
:
STRING
writable attribute
top
execute
(program_:
STRING
, arguments_:
TRAVERSABLE
[
STRING
], keep_environment_:
BOOLEAN
)
effective procedure
top
require
program_ /= Void
arguments_ /= Void
ensure
program
.is_equal(program_)
arguments.is_equal_map(arguments_)
keep_environment
= keep_environment_
execute_command_line
(command_line_:
STRING
, keep_environment_:
BOOLEAN
)
effective procedure
top
require
command_line_ /= Void
ensure
command_line
.is_equal(command_line_)
keep_environment
= keep_environment_