ProcessNotify

[Source]

Уведомления для подключений процесса.

interface ref ProcessNotify

Общедоступные функции

created

[Source]

ProcessMonitor вызывает это при создании.

fun ref created(
  process: ProcessMonitor ref)
: None val

Параметры

• process: ProcessMonitor ссылка

Возвращаемое значение

• None значение

stdout

[Source]

ProcessMonitor вызывает это, когда новые данные получены в STDOUT порожденного процесса

fun ref stdout(
  process: ProcessMonitor ref,
  data: Array[U8 val] iso)
: None val

Параметры

• process: ProcessMonitor ссылка
• data: Массив[U8 значение] изо

Возвращаемое значение

• None значение

stderr

[Source]

ProcessMonitor вызывает это, когда новые данные получены в STDERR порожденного процесса

fun ref stderr(
  process: ProcessMonitor ref,
  data: Array[U8 val] iso)
: None val

Параметры

• process: ProcessMonitor ссылка
• data: Массив[U8 значение] изо

Возвращаемое значение

• None значение

failed

[Source]

ProcessMonitor вызывает это, если возникают ошибки при взаимодействии с порожденным процессом.

fun ref failed(
  process: ProcessMonitor ref,
  err: ProcessError val)
: None val

Параметры

• process: ProcessMonitor ссылка
• err: ProcessError значение

Возвращаемое значение

• None значение

expect

[Source]

Вызывается, когда монитору процесса было сказано ожидать определенное количество байтов. Это позволяет вложенным уведомителям изменять ожидаемое количество, что позволяет протоколу более низкого уровня обрабатывать любую фрейминг.

fun ref expect(
  process: ProcessMonitor ref,
  qty: USize val)
: USize val

Параметры

• process: ProcessMonitor ссылка
• qty: USize значение

Возвращаемое значение

• USize значение

dispose

[Source]

Вызывается при завершении ProcessMonitor для очистки ProcessNotify. Мы возвращаем код завершения дочернего процесса, он может быть экземпляром Exited, если процесс завершился. Код завершения дочернего процесса можно получить, используя Exited.exit_code().

В системах Posix, если процесс был убит сигналом (например, с помощью команды kill), child_exit_status будет экземпляром Signaled с номером сигнала, завершившего процесс, доступным через Signaled.signal().

fun ref dispose(
  process: ProcessMonitor ref,
  child_exit_status: (Exited val | Signaled val))
: None val

Параметры

• process: ProcessMonitor ссылка
• child_exit_status: (Exited значение | Signaled значение)

Возвращаемое значение

• None значение