process

File process.str
Author unknown
Since unknown

Run-time process information




Statistics


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 )
File process.str
Author unknown
Since unknown
 

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
File process.str
Author unknown
Since unknown
 

Replaces the current process image with a new process image.


see man execv
warning The first arugment is not added in the runtime.
warning If the

 
ATerm execvp
File process.str
Author unknown
Since unknown
 

Replaces the current process image with a new process image.


see man execvp
warning The first arugment is added in the runtime.

 
ATerm fork
File process.str
Author unknown
Since unknown
 

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.


type fork :: a -> Int

 
ATerm get-pid
File process.str
Author unknown
Since unknown
 

Return process identifier of current process


type _ -> Int

 
ATerm kill
File process.str
Author unknown
Since unknown
 

Sends the specified signal to the specified process.


fail fails on failure of the kill invocation
type Int * Signal -> Int * Signal

 
ATerm setenv
File process.str
Author unknown
Since unknown
 

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
File process.str
Author unknown
Since unknown
 

No information available.


type Int -> WaitStatus