+
Point of view
All features
class PROCESS_NONE
Summary
top
This class allows one to spawn an external process and make it execute some file.
The standard streams of the process are available: input, output and error.
Note: This class is in a beta stage. POSIX and Windows versions are available but there may be resource leaks or other bugs left.
Direct parents
Inherit list: PROCESS
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
{ANY}
{}
{ANY}
  • is_equal (other: PROCESS_NONE): BOOLEAN
    Is other attached to an object considered equal to current object?
effective function
{ANY}
top
require
  • is_connected
  • not is_child
is_child: BOOLEAN
is False
constant attribute
{ANY}
top
is_connected: BOOLEAN
is False
constant attribute
{ANY}
top
require
  • not is_child
is_finished: BOOLEAN
effective function
{ANY}
top
require
  • is_connected
  • not is_child
status: INTEGER_32
effective function
{ANY}
top
require
  • is_finished
  • not is_child
wait
effective procedure
{ANY}
top
require
  • is_connected
  • not is_child
ensure
  • is_finished
  • input /= Void implies not input.is_connected
  • output /= Void implies not output.is_connected
  • error /= Void implies not error.is_connected
effective function
{ANY}
top
You can feed data to the process by this channel
require
  • not is_child
output: INPUT_STREAM
effective function
{ANY}
top
You can read data from the process by this channel
require
  • not is_child
error: INPUT_STREAM
effective function
{ANY}
top
You can read error data from the process by this channel
require
  • not is_child
execute (program: STRING, arguments: TRAVERSABLE[STRING], keep_environment: BOOLEAN)
effective 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)
effective 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
duplicate
effective procedure
{ANY}
top
Duplicate the running process so that two processes are running simultaneously with the same code and starting from the same data (inspired from the fork(2) POSIX call)
require
  • is_ready
writable attribute
{ANY}
top
make
effective procedure
{}
top
set_group (group_: PROCESS_GROUP)
effective procedure
{ANY}
top
require
  • group_ /= Void
ensure
is_ready: BOOLEAN
effective function
{ANY}
top
ensure
direct_input: BOOLEAN
writable attribute
{ANY}
top
Is the program's input stream read directly from the standard input stream rather than from input?
set_direct_input (direct_input_: BOOLEAN)
effective procedure
{ANY}
top
ensure
direct_output: BOOLEAN
writable attribute
{ANY}
top
Is the program's output stream sent directly to the standard output stream rather than to output?
set_direct_output (direct_output_: BOOLEAN)
effective procedure
{ANY}
top
ensure
direct_error: BOOLEAN
writable attribute
{ANY}
top
Is the program's error stream sent directly to the standard error stream rather than to error?
set_direct_error (direct_error_: BOOLEAN)
effective procedure
{ANY}
top
ensure
hash_code: INTEGER_32
effective function
{ANY}
top
The hash-code value of Current.
ensure
  • good_hash_value: Result >= 0
cleanup_streams
effective procedure
{}
top
is_equal (other: PROCESS_NONE): BOOLEAN
deferred function
{ANY}
top
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • Result implies hash_code = other.hash_code
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)