process-abstractions

File process-abstractions.str
Author unknown
Since unknown
No information available.




Statistics


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

Call a program with list of string arguments.


type (String, List(String)) -> (String, List(String))

 
ATerm call-noisy
File process-abstractions.str
Author unknown
Since unknown
 

Call program with a list of strings arguments and printinformation to stderr.


type (String, List(String)) -> (String, List(String))

 
ATerm exited
File process-abstractions.str
Author unknown
Since unknown
 

Succeeds if the process of this WaitStatus exited.


type WaitStatus -> WaitStatus

 
ATerm fork(Strategy child)
File process-abstractions.str
Author unknown
Since unknown
 

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

Succeeds if the process of this WaitStatus was signaled.


type WaitStatus -> WaitStatus

 
ATerm stopped
File process-abstractions.str
Author unknown
Since unknown
 

Succeeds if the process of this WaitStatus was stopped.


type WaitStatus -> WaitStatus

 
ATerm warn-ifsignaled
File process-abstractions.str
Author unknown
Since unknown
 

Prints a warning if the process of this WaitStatus was signaled.


type WaitStatus -> WaitStatus