+
Point of view
All features
class PROCESS_SCHEDULER
Summary
Class invariant
Overview
creation features
features
execute (program: STRING, arguments: TRAVERSABLE[STRING], keep_environment: BOOLEAN)
effective procedure
Execute the given program (how the program is discovered is os-dependant), passing to it the arguments.
execute_command_line (command_line: STRING, keep_environment: BOOLEAN)
effective procedure
Execute the command_line through the operating system's basic shell.
is_ready: BOOLEAN
effective function
set_parallel_process_count (parallel_process_count_: INTEGER_32)
effective procedure
wait
effective procedure
maximum_process_count: INTEGER_32
effective function
parallel_process_count: INTEGER_32
writable attribute
How many processes can run concurrently in a parallel session.
process_count: INTEGER_32
writable attribute
How many processes are currently running.
is_serial: BOOLEAN
writable attribute
Are processes currently launched sequentially rather than concurrently.
set_parallel
effective procedure
set_serial
effective procedure
register_on_launched (on_launched_: ROUTINE[TUPLE 4[STRING, STRING, TRAVERSABLE[STRING], BOOLEAN]])
effective procedure
register_on_failed (on_failed_: ROUTINE[TUPLE 4[STRING, STRING, TRAVERSABLE[STRING], BOOLEAN]])
effective procedure
register_on_finished (on_finished_: ROUTINE[TUPLE 5[INTEGER_32, STRING, STRING, TRAVERSABLE[STRING], BOOLEAN]])
effective procedure
writable attribute
writable attribute
writable attribute
post_launch (process: PROCESS, launch_info: PROCESS_LAUNCH_INFO)
effective procedure
wait_until (process_count_: INTEGER_32)
effective procedure
writable attribute
factory: PROCESS_FACTORY
writable attribute
effective function
new_process: PROCESS
effective function
wait_process: PROCESS
effective function
make
effective procedure