File | process.str |
Author | unknown |
Since | unknown |
Run-time process information
General | |
Lines of code | 116 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (100% documented) |
Overlay number | 0 |
Strategy number | 7 (100% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Constructor summary |
||
WaitStatus(ATerm , ATerm , ATerm ) | Collects the information returned from a wait call | process.str |
Strategy summary |
||
execv | Replaces the current process image with a new process image | process.str |
execvp | Replaces the current process image with a new process image | process.str |
fork | Creates a child process almost equivalent to the parent process | process.str |
get-pid | Return process identifier of current process | process.str |
kill | Sends the specified signal to the specified process | process.str |
setenv | The setenv() function adds the variable name to the environment with the value value, if name does not already exist | process.str |
waitpid | n/a | process.str |
Constructor details |
|||||||||
WaitStatus(ATerm , ATerm , ATerm ) | |||||||||
Collects the information returned from a wait call. (1) Exit status or -1 if process did not terminate properly(2) Signal number or -1 if the process wasn't terminated because of a signal(3) Signal number or -1 if the process wasn't stopped |
|||||||||
Strategy details |
|||||||||||||||
ATerm | execv | ||||||||||||||
Replaces the current process image with a new process image.
|
|||||||||||||||
ATerm | execvp | ||||||||||||||
Replaces the current process image with a new process image.
|
|||||||||||||||
ATerm | fork | ||||||||||||||
Creates a child process almost equivalent to the parent process. The new process differs from the parent processonly in its PID and PPID, and in the fact that resource utilizations are set to 0. File locks and pending signals are notinherited. Fails if forking fails, in which case no child process is created.On success, the PID of the child process is returned in the parent’sthread of execution, and a 0 is returned in the child’s thread of exe‐cution.
|
|||||||||||||||
ATerm | get-pid | ||||||||||||||
Return process identifier of current process
|
|||||||||||||||
ATerm | kill | ||||||||||||||
Sends the specified signal to the specified process.
|
|||||||||||||||
ATerm | setenv | ||||||||||||||
The setenv() function adds the variable name to the environment with the value value, if name does not alreadyexist. If name does exist in the environment, then itsvalue is changed to value if overwrite is non-zero; ifoverwrite is zero, then the value of name is not changed. |
|||||||||||||||
ATerm | waitpid | ||||||||||||||
No information available.
|
|||||||||||||||