File | process-abstractions.str |
Author | unknown |
Since | unknown |
General | |
Lines of code | 124 |
Stratego | |
Module number | 1 (0% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 11 (63% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
call | Call a program with list of string arguments | process-abstractions.str |
call(Strategy init-child) | n/a | process-abstractions.str |
call(ATerm opt-fdin, ATerm opt-fdout, ATerm opt-fderr) | n/a | process-abstractions.str |
call-noisy | Call program with a list of strings arguments and print information to stderr | process-abstractions.str |
exited | Succeeds if the process of this WaitStatus exited | process-abstractions.str |
fork(Strategy child) | Executes "child" in the child process and returns a tuple of the pid of the child process and the current term in the parent process | process-abstractions.str |
fork(Strategy child, Strategy parent) | n/a | process-abstractions.str |
fork-and-wait(Strategy child) | n/a | process-abstractions.str |
signaled | Succeeds if the process of this WaitStatus was signaled | process-abstractions.str |
stopped | Succeeds if the process of this WaitStatus was stopped | process-abstractions.str |
warn-ifsignaled | Prints a warning if the process of this WaitStatus was signaled | process-abstractions.str |
Strategy details |
|||||||||||
ATerm | call | ||||||||||
Call a program with list of string arguments.
|
|||||||||||
ATerm | call-noisy | ||||||||||
Call program with a list of strings arguments and printinformation to stderr.
|
|||||||||||
ATerm | exited | ||||||||||
Succeeds if the process of this WaitStatus exited.
|
|||||||||||
ATerm | fork(Strategy child) | ||||||||||
Executes "child" in the child process and returns a tupleof the pid of the child process and the current term in theparent process. |
|||||||||||
ATerm | signaled | ||||||||||
Succeeds if the process of this WaitStatus was signaled.
|
|||||||||||
ATerm | stopped | ||||||||||
Succeeds if the process of this WaitStatus was stopped.
|
|||||||||||
ATerm | warn-ifsignaled | ||||||||||
Prints a warning if the process of this WaitStatus was signaled.
|
|||||||||||