+
Point of view
All features
class PROCESS_LAUNCH_INFO
Summary
top
Direct parents
Insert list: ANY
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
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
execute_command_line (command_line_: STRING, keep_environment_: BOOLEAN)
effective procedure
{ANY}
top
require
  • command_line_ /= Void
ensure