Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature POSIX = |
2 | sig | |
3 | structure Error: POSIX_ERROR | |
4 | structure FileSys: POSIX_FILE_SYS | |
5 | structure IO: POSIX_IO | |
6 | structure ProcEnv: POSIX_PROC_ENV | |
7 | structure Process: POSIX_PROCESS | |
8 | structure Signal: POSIX_SIGNAL | |
9 | structure SysDB: POSIX_SYS_DB | |
10 | structure TTY: POSIX_TTY | |
11 | ||
12 | sharing type FileSys.file_desc = ProcEnv.file_desc = IO.file_desc = TTY.file_desc | |
13 | sharing type ProcEnv.gid = FileSys.gid = SysDB.gid | |
14 | sharing type FileSys.open_mode = IO.open_mode | |
15 | sharing type Process.pid = ProcEnv.pid = IO.pid = TTY.pid | |
16 | sharing type Process.signal = Signal.signal | |
17 | sharing type ProcEnv.uid = FileSys.uid = SysDB.uid | |
18 | end | |
19 | ||
20 | signature POSIX_EXTRA = | |
21 | sig | |
22 | structure Error: POSIX_ERROR_EXTRA | |
23 | structure FileSys: POSIX_FILE_SYS_EXTRA | |
24 | structure IO: POSIX_IO | |
25 | structure ProcEnv: POSIX_PROC_ENV | |
26 | structure Process: POSIX_PROCESS_EXTRA | |
27 | structure Signal: POSIX_SIGNAL_EXTRA | |
28 | structure SysDB: POSIX_SYS_DB | |
29 | structure TTY: POSIX_TTY | |
30 | ||
31 | sharing type FileSys.file_desc = ProcEnv.file_desc = IO.file_desc = TTY.file_desc | |
32 | sharing type ProcEnv.gid = FileSys.gid = SysDB.gid | |
33 | sharing type FileSys.open_mode = IO.open_mode | |
34 | sharing type Process.pid = ProcEnv.pid = IO.pid = TTY.pid | |
35 | sharing type Process.signal = Signal.signal | |
36 | sharing type ProcEnv.uid = FileSys.uid = SysDB.uid | |
37 | end |