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