class PROCESS

All features

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. Only the POSIX version is available (Windows implementers needed!)

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

plugin lowlevel data

plugin features

Details

execute (program: STRING, arguments: COLLECTION [E_][STRING], keep_environment: BOOLEAN)

Execute the given program (how the program is discovered is os-dependant), passing to it the arguments. The environment is cleared if keep_environment is False.

require

  • program /= Void

id: INTEGER
is_connected: BOOLEAN
is_finished: BOOLEAN

require

  • is_connected

status: INTEGER

require

  • is_finished

wait

require

  • is_connected

ensure

  • is_finished

kill (signal: INTEGER)

require

  • is_connected

input: OUTPUT_STREAM

You can feed data to the process by this channel

output: INPUT_STREAM

You can read data from the process by this channel

error: INPUT_STREAM

You can read error data from the process by this channel

execute (program: STRING, arguments: COLLECTION [E_][STRING], keep_environment: BOOLEAN)

Execute the given program (how the program is discovered is os-dependant), passing to it the arguments. The environment is cleared if keep_environment is False.

require

  • program /= Void

data: POINTER
basic_exec_execute (program: POINTER, arguments: POINTER, keep_environment: BOOLEAN, in_fd: POINTER, out_fd: POINTER, err_fd: POINTER): POINTER
basic_exec_id (dat: POINTER): INTEGER
basic_exec_is_finished (dat: POINTER): BOOLEAN
basic_exec_status (dat: POINTER): INTEGER
basic_exec_wait (dat: POINTER)
basic_exec_kill (dat: POINTER, signal: INTEGER)