class PROCESS_WIN32
Summary
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, there may be resource leaks or other bugs left.
Direct parents
Inherit list: DISPOSABLE, PROCESS
Class invariant
Overview
Creation features
{ANY}
Features
{ANY}
{PROCESS_GROUP}
{}
plugin low-level data
{EXEC_INPUT_STREAM_WIN32, EXEC_OUTPUT_STREAM_WIN32}
plugin features
{}
{ANY}
{}
{ANY}
  • is_equal (other: PROCESS_WIN32): BOOLEAN
    Is other attached to an object considered equal to current object?
effective function
{ANY}
is_child: BOOLEAN
is False
constant attribute
{ANY}
is_connected: BOOLEAN
writable attribute
{ANY}
is_finished: BOOLEAN
effective function
{ANY}
status: INTEGER_32
effective function
{ANY}
wait
effective procedure
{ANY}
writable attribute
{ANY}
You can feed data to the process by this channel
output: INPUT_STREAM
writable attribute
{ANY}
You can read data from the process by this channel
error: INPUT_STREAM
writable attribute
{ANY}
You can read error data from the process by this channel
execute (program: STRING, arguments: TRAVERSABLE[STRING], keep_environment: BOOLEAN)
effective procedure
{ANY}
Execute the given program (how the program is discovered is OS-dependent), passing to it the arguments.
execute_command_line (command_line: STRING, keep_environment: BOOLEAN)
effective procedure
{ANY}
Execute the command_line through the operating system's basic shell.
duplicate
effective procedure
{ANY}
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)
writable attribute
{ANY}
cleanup (stat: INTEGER_32)
effective procedure
handle: INTEGER_32
effective function
dispose
effective procedure
{}
Action to be executed just before garbage collection reclaims an object.
do_cleanup
effective procedure
{}
make
effective procedure
{}
writable attribute
{}
writable attribute
{}
writable attribute
{}
do_execute (program_arguments: POINTER, keep_environment: BOOLEAN)
effective procedure
{}
basic_exec_win32_execute (dat: POINTER, arguments: POINTER, keep_environment: BOOLEAN, add_environment: POINTER, in_fd: POINTER, out_fd: POINTER, err_fd: POINTER): BOOLEAN
{}
basic_exec_id (dat: POINTER): INTEGER_32
{}
basic_exec_alloc_data: POINTER
{}
basic_exec_free_data (dat: POINTER)
{}
basic_exec_win32_handle (dat: POINTER): INTEGER_32
{}
basic_exec_is_finished (dat: POINTER): BOOLEAN
{}
basic_exec_status (dat: POINTER): INTEGER_32
{}
basic_exec_wait (dat: POINTER)
{}
basic_exec_cleanup (dat: POINTER, stat: INTEGER_32)
{}
set_group (group_: PROCESS_GROUP)
effective procedure
{ANY}
is_ready: BOOLEAN
effective function
{ANY}
direct_input: BOOLEAN
writable attribute
{ANY}
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}
direct_output: BOOLEAN
writable attribute
{ANY}
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}
direct_error: BOOLEAN
writable attribute
{ANY}
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}
hash_code: INTEGER_32
effective function
{ANY}
The hash-code value of Current.
cleanup_streams
effective procedure
{}
is_equal (other: PROCESS_WIN32): BOOLEAN
deferred function
{ANY}
Is other attached to an object considered equal to current object?