class PROCESS

Features exported to EXEC_OUTPUT_STREAM

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

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

data: POINTER