Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature POSIX_PROCESS = |
2 | sig | |
3 | eqtype signal | |
4 | eqtype pid | |
5 | ||
6 | structure W: | |
7 | sig | |
8 | include BIT_FLAGS | |
9 | val untraced: flags | |
10 | end | |
11 | ||
12 | datatype exit_status = | |
13 | W_EXITED | |
14 | | W_EXITSTATUS of Word8.word | |
15 | | W_SIGNALED of signal | |
16 | | W_STOPPED of signal | |
17 | ||
18 | datatype killpid_arg = | |
19 | K_PROC of pid | |
20 | | K_SAME_GROUP | |
21 | | K_GROUP of pid | |
22 | ||
23 | datatype waitpid_arg = | |
24 | W_ANY_CHILD | |
25 | | W_CHILD of pid | |
26 | | W_SAME_GROUP | |
27 | | W_GROUP of pid | |
28 | ||
29 | val alarm: Time.time -> Time.time | |
30 | val exec: string * string list -> 'a | |
31 | val exece: string * string list * string list -> 'a | |
32 | val execp: string * string list -> 'a | |
33 | val exit: Word8.word -> 'a | |
34 | val fork: unit -> pid option | |
35 | val fromStatus: OS.Process.status -> exit_status | |
36 | val kill: killpid_arg * signal -> unit | |
37 | val pause: unit -> unit | |
38 | val pidToWord: pid -> SysWord.word | |
39 | val sleep: Time.time -> Time.time | |
40 | val wait: unit -> pid * exit_status | |
41 | val waitpid: waitpid_arg * W.flags list -> pid * exit_status | |
42 | val waitpid_nh: waitpid_arg * W.flags list -> (pid * exit_status) option | |
43 | val wordToPid: SysWord.word -> pid | |
44 | end | |
45 | ||
46 | signature POSIX_PROCESS_EXTRA = | |
47 | sig | |
48 | include POSIX_PROCESS | |
49 | val fromStatus': C_Status.t -> exit_status | |
50 | end |