+
Point of view
All features
deferred class POSIX_PROCESS
Summary
A process as described in the POSIX standard. Commands and queries of this class are loosely modelled after the multiprocessing API of Python (http://docs.python.org/library/multiprocessing.html).
Direct parents
Insert list: ERRNO, EXCEPTIONS, MULTIPROCESSING
Overview
Features
{ANY}
Status queries
{ANY}
{}
{ANY}
External calls
{}
variable-size types
{ANY}
C type definitions (typedefs)
{ANY}
  • comparison_fn_t: POINTER
    typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
  • timer_t: POINTER
    typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
  • clockid_t: INTEGER_32
    typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
  • time_t: INTEGER_64
    typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
  • clock_t: INTEGER_64
    typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
  • uintmax_t: NATURAL_64
    typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • intmax_t: INTEGER_64
    typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uintptr_t: NATURAL_64
    typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • intptr_t: INTEGER_64
    typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_fast64_t: NATURAL_64
    typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_fast32_t: NATURAL_64
    typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_fast16_t: NATURAL_64
    typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_fast8_t: CHARACTER
    typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_fast64_t: INTEGER_64
    typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_fast32_t: INTEGER_64
    typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_fast16_t: INTEGER_64
    typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_fast8_t: CHARACTER
    typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_least64_t: NATURAL_64
    typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_least32_t: NATURAL_32
    typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_least16_t: NATURAL_16
    typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint_least8_t: CHARACTER
    typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_least64_t: INTEGER_64
    typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_least32_t: INTEGER_32
    typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_least16_t: INTEGER_16
    typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int_least8_t: CHARACTER
    typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint64_t: NATURAL_64
    typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint32_t: NATURAL_32
    typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint16_t: NATURAL_16
    typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • uint8_t: CHARACTER
    typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int64_t: INTEGER_64
    typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int32_t: INTEGER_32
    typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int16_t: INTEGER_16
    typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • int8_t: CHARACTER
    typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • ssize_t: INTEGER_64
    typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • off64_t: INTEGER_64
    typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
  • off_t: INTEGER_64
    typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
  • size_t: NATURAL_64
    typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
  • ptrdiff_t: INTEGER_64
    typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
  • error_t: INTEGER_32
    typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
External calls
{}
Various exceptions codes:
{ANY}
{ANY}
Status report:
{ANY}
Basic operations:
{ANY}
  • die (code: INTEGER_32)
    Terminate execution with exit status code, without triggering an exception.
  • raise (name: STRING)
    Raise a developer exception of name name.
  • throw (a_exception: EXCEPTION)
Non-Standard Extensions:
{ANY}
{}
child_process_id: INTEGER_32
writable attribute
{ANY}
is_child: BOOLEAN
effective function
{ANY}
is_parent: BOOLEAN
effective function
{ANY}
is_started: BOOLEAN
effective function
{ANY}
not_started: BOOLEAN
effective function
{ANY}
start
effective procedure
{ANY}
Create the new process and make it run
run
deferred procedure
{ANY}
The command that will be executed in the child process
wait
effective procedure
{ANY}
Wait until Current has terminated
TODO: add support for options of Posix's waitpid
terminate
effective procedure
{ANY}
Send SIGTERM signal to the child process.
is_running: BOOLEAN
effective function
{ANY}
status: INTEGER_32
writable attribute
{ANY}
errno: INTEGER_32
{}
number of last error
e2big: INTEGER_32
{}
Argument list too long (POSIX.1)
eacces: INTEGER_32
{}
Permission denied (POSIX.1)
eaddrinuse: INTEGER_32
{}
Address already in use (POSIX.1)
eaddrnotavail: INTEGER_32
{}
Address not available (POSIX.1)
eafnosupport: INTEGER_32
{}
Address family not supported (POSIX.1)
eagain: INTEGER_32
{}
Resource temporarily unavailable (may be the same value as EWOULDBLOCK) (POSIX.1)
ealready: INTEGER_32
{}
Connection already in progress (POSIX.1)
ebade: INTEGER_32
{}
Invalid exchange
ebadf: INTEGER_32
{}
Bad file descriptor (POSIX.1)
ebadfd: INTEGER_32
{}
File descriptor in bad state
ebadmsg: INTEGER_32
{}
Bad message (POSIX.1)
ebadr: INTEGER_32
{}
Invalid request descriptor
ebadrqc: INTEGER_32
{}
Invalid request code
ebadslt: INTEGER_32
{}
Invalid slot
ebusy: INTEGER_32
{}
Device or resource busy (POSIX.1)
ecanceled: INTEGER_32
{}
Operation canceled (POSIX.1)
echild: INTEGER_32
{}
No child processes (POSIX.1)
echrng: INTEGER_32
{}
Channel number out of range
ecomm: INTEGER_32
{}
Communication error on send
econnaborted: INTEGER_32
{}
Connection aborted (POSIX.1)
econnrefused: INTEGER_32
{}
Connection refused (POSIX.1)
econnreset: INTEGER_32
{}
Connection reset (POSIX.1)
edeadlk: INTEGER_32
{}
Resource deadlock avoided (POSIX.1)
edeadlock: INTEGER_32
{}
Synonym for EDEADLK
edestaddrreq: INTEGER_32
{}
Destination address required (POSIX.1)
edom: INTEGER_32
{}
Mathematics argument out of domain of function (POSIX.1, C99)
edquot: INTEGER_32
{}
Disk quota exceeded (POSIX.1)
eexist: INTEGER_32
{}
File exists (POSIX.1)
efault: INTEGER_32
{}
Bad address (POSIX.1)
efbig: INTEGER_32
{}
File too large (POSIX.1)
ehostdown: INTEGER_32
{}
Host is down
ehostunreach: INTEGER_32
{}
Host is unreachable (POSIX.1)
eidrm: INTEGER_32
{}
Identifier removed (POSIX.1)
eilseq: INTEGER_32
{}
Illegal byte sequence (POSIX.1, C99)
einprogress: INTEGER_32
{}
Operation in progress (POSIX.1)
eintr: INTEGER_32
{}
Interrupted function call (POSIX.1); see signal(7).
einval: INTEGER_32
{}
Invalid argument (POSIX.1)
{}
Input/output error (POSIX.1)
eisconn: INTEGER_32
{}
Socket is connected (POSIX.1)
eisdir: INTEGER_32
{}
Is a directory (POSIX.1)
eisnam: INTEGER_32
{}
Is a named type file
ekeyexpired: INTEGER_32
{}
Key has expired
ekeyrejected: INTEGER_32
{}
Key was rejected by service
ekeyrevoked: INTEGER_32
{}
Key has been revoked
el2hlt: INTEGER_32
{}
Level 2 halted
el2nsync: INTEGER_32
{}
Level 2 not synchronized
el3hlt: INTEGER_32
{}
Level 3 halted
el3rst: INTEGER_32
{}
Level 3 halted
elibacc: INTEGER_32
{}
Cannot access a needed shared library
elibbad: INTEGER_32
{}
Accessing a corrupted shared library
elibmax: INTEGER_32
{}
Attempting to link in too many shared libraries
elibscn: INTEGER_32
{}
lib section in a.out corrupted
elibexec: INTEGER_32
{}
Cannot exec a shared library directly
eloop: INTEGER_32
{}
Too many levels of symbolic links (POSIX.1)
emediumtype: INTEGER_32
{}
Wrong medium type
emfile: INTEGER_32
{}
Too many open files (POSIX.1)
emlink: INTEGER_32
{}
Too many links (POSIX.1)
emsgsize: INTEGER_32
{}
Message too long (POSIX.1)
emultihop: INTEGER_32
{}
Multihop attempted (POSIX.1)
enametoolong: INTEGER_32
{}
Filename too long (POSIX.1)
enetdown: INTEGER_32
{}
Network is down (POSIX.1)
enetreset: INTEGER_32
{}
Connection aborted by network (POSIX.1)
enetunreach: INTEGER_32
{}
Network unreachable (POSIX.1)
enfile: INTEGER_32
{}
Too many open files in system (POSIX.1)
enobufs: INTEGER_32
{}
No buffer space available (POSIX.1 (XSI STREAMS option))
enodata: INTEGER_32
{}
No message is available on the STREAM head read queue (POSIX.1)
enodev: INTEGER_32
{}
No such device (POSIX.1)
enoent: INTEGER_32
{}
No such file or directory (POSIX.1)
enoexec: INTEGER_32
{}
Exec format error (POSIX.1)
enokey: INTEGER_32
{}
Required key not available
enolck: INTEGER_32
{}
No locks available (POSIX.1)
enolink: INTEGER_32
{}
Link has been severed (POSIX.1)
enomedium: INTEGER_32
{}
No medium found
enomem: INTEGER_32
{}
Not enough space (POSIX.1)
enomsg: INTEGER_32
{}
No message of the desired type (POSIX.1)
enonet: INTEGER_32
{}
Machine is not on the network
enopkg: INTEGER_32
{}
Package not installed
enoprotoopt: INTEGER_32
{}
Protocol not available (POSIX.1)
enospc: INTEGER_32
{}
No space left on device (POSIX.1)
enosr: INTEGER_32
{}
No STREAM resources (POSIX.1 (XSI STREAMS option))
enostr: INTEGER_32
{}
Not a STREAM (POSIX.1 (XSI STREAMS option))
enosys: INTEGER_32
{}
Function not implemented (POSIX.1)
enotblk: INTEGER_32
{}
Block device required
enotconn: INTEGER_32
{}
The socket is not connected (POSIX.1)
enotdir: INTEGER_32
{}
Not a directory (POSIX.1)
enotempty: INTEGER_32
{}
Directory not empty (POSIX.1)
enotsock: INTEGER_32
{}
Not a socket (POSIX.1)
enotsup: INTEGER_32
{}
Operation not supported (POSIX.1)
enotty: INTEGER_32
{}
Inappropriate I/O control operation (POSIX.1)
enotuniq: INTEGER_32
{}
Name not unique on network
enxio: INTEGER_32
{}
No such device or address (POSIX.1)
eopnotsupp: INTEGER_32
{}
Operation not supported on socket (POSIX.1) (ENOTSUP and EOPNOTSUPP have the same value on Linux, but according to POSIX.1 these error values should be distinct.)
eoverflow: INTEGER_32
{}
Value too large to be stored in data type (POSIX.1)
eperm: INTEGER_32
{}
Operation not permitted (POSIX.1)
epfnosupport: INTEGER_32
{}
Protocol family not supported
epipe: INTEGER_32
{}
Broken pipe (POSIX.1)
eproto: INTEGER_32
{}
Protocol error (POSIX.1)
eprotonosupport: INTEGER_32
{}
Protocol not supported (POSIX.1)
eprototype: INTEGER_32
{}
Protocol wrong type for socket (POSIX.1)
erange: INTEGER_32
{}
Result too large (POSIX.1, C99)
eremchg: INTEGER_32
{}
Remote address changed
eremote: INTEGER_32
{}
Object is remote
eremoteio: INTEGER_32
{}
Remote I/O error
erestart: INTEGER_32
{}
Interrupted system call should be restarted
erofs: INTEGER_32
{}
Read-only file system (POSIX.1)
eshutdown: INTEGER_32
{}
Cannot send after transport endpoint shutdown
espipe: INTEGER_32
{}
Invalid seek (POSIX.1)
esocktnosupport: INTEGER_32
{}
Socket type not supported
esrch: INTEGER_32
{}
No such process (POSIX.1)
estale: INTEGER_32
{}
Stale file handle (POSIX.1) This error can occur for NFS and for other file systems
estrpipe: INTEGER_32
{}
Streams pipe error
etime: INTEGER_32
{}
Timer expired (POSIX.1 (XSI STREAMS option)) (POSIX.1 says "STREAM ioctl(2) timeout")
etimedout: INTEGER_32
{}
Connection timed out (POSIX.1)
etxtbsy: INTEGER_32
{}
Text file busy (POSIX.1)
euclean: INTEGER_32
{}
Structure needs cleaning
eunatch: INTEGER_32
{}
Protocol driver not attached
eusers: INTEGER_32
{}
Too many users
ewouldblock: INTEGER_32
{}
Operation would block (may be same value as EAGAIN) (POSIX.1)
exdev: INTEGER_32
{}
Improper link (POSIX.1)
exfull: INTEGER_32
{}
Exchange full
processors_count: INTEGER_32
{ANY}
Number of processors available in the machine
process_id: INTEGER_32
effective function
{ANY}
parent_process_id: INTEGER_32
effective function
{ANY}
wait_any_process: INTEGER_32
effective function
{ANY}
Wait for any child process to terminate
last_result: INTEGER_32
writable attribute
{ANY}
The exit status of the last terminated children
access (a_name: POINTER, a_type: INTEGER_32): INTEGER_32
{}
function access (in /usr/include/unistd.h) access
acct (a_name: POINTER): INTEGER_32
{}
function acct (in /usr/include/unistd.h) acct
alarm (a_seconds: NATURAL_32): NATURAL_32
{}
function alarm (in /usr/include/unistd.h) alarm
brk (an_addr: POINTER): INTEGER_32
{}
function brk (in /usr/include/unistd.h) brk
chdir (a_path: POINTER): INTEGER_32
{}
function chdir (in /usr/include/unistd.h) chdir
chown (a_file: POINTER, an_owner: NATURAL_32, a_group: NATURAL_32): INTEGER_32
{}
function chown (in /usr/include/unistd.h) chown
chroot (a_path: POINTER): INTEGER_32
{}
function chroot (in /usr/include/unistd.h) chroot
close (a_fd: INTEGER_32): INTEGER_32
{}
function close (in /usr/include/unistd.h) close
confstr (a_name: INTEGER_32, a_buf: POINTER, a_len: NATURAL_64): NATURAL_64
{}
function confstr (in /usr/include/unistd.h) confstr
crypt (a_key: POINTER, a_salt: POINTER): POINTER
{}
function crypt (in /usr/include/unistd.h) crypt
daemon (a_nochdir: INTEGER_32, a_noclose: INTEGER_32): INTEGER_32
{}
function daemon (in /usr/include/unistd.h) daemon
dup (a_fd: INTEGER_32): INTEGER_32
{}
function dup (in /usr/include/unistd.h) dup
dup2 (a_fd: INTEGER_32, a_fd2: INTEGER_32): INTEGER_32
{}
function dup2 (in /usr/include/unistd.h) dup2
dup3 (a_fd: INTEGER_32, a_fd2: INTEGER_32, a_flags: INTEGER_32): INTEGER_32
{}
function dup3 (in /usr/include/unistd.h) dup3
eaccess (a_name: POINTER, a_type: INTEGER_32): INTEGER_32
{}
function eaccess (in /usr/include/unistd.h) eaccess
encrypt (a_glibc_block: POINTER, an_edflag: INTEGER_32)
{}
function encrypt (in /usr/include/unistd.h) encrypt
endusershell
{}
function endusershell (in /usr/include/unistd.h) endusershell
environ: POINTER
{}
environ
address_of_environ: POINTER
{}
Address of environ
set_environ (a_value: POINTER)
{}
Set variable environ value
euidaccess (a_name: POINTER, a_type: INTEGER_32): INTEGER_32
{}
function euidaccess (in /usr/include/unistd.h) euidaccess
execl (a_path: POINTER, an_arg: POINTER): INTEGER_32
{}
function execl (in /usr/include/unistd.h) execl (variadic call)
execle (a_path: POINTER, an_arg: POINTER): INTEGER_32
{}
function execle (in /usr/include/unistd.h) execle (variadic call)
execlp (a_file: POINTER, an_arg: POINTER): INTEGER_32
{}
function execlp (in /usr/include/unistd.h) execlp (variadic call)
execv (a_path: POINTER, an_argv: POINTER): INTEGER_32
{}
function execv (in /usr/include/unistd.h) execv
execve (a_path: POINTER, an_argv: POINTER, an_envp: POINTER): INTEGER_32
{}
function execve (in /usr/include/unistd.h) execve
execvp (a_file: POINTER, an_argv: POINTER): INTEGER_32
{}
function execvp (in /usr/include/unistd.h) execvp
execvpe (a_file: POINTER, an_argv: POINTER, an_envp: POINTER): INTEGER_32
{}
function execvpe (in /usr/include/unistd.h) execvpe
faccessat (a_fd: INTEGER_32, a_file: POINTER, a_type: INTEGER_32, a_flag: INTEGER_32): INTEGER_32
{}
function faccessat (in /usr/include/unistd.h) faccessat
fchdir (a_fd: INTEGER_32): INTEGER_32
{}
function fchdir (in /usr/include/unistd.h) fchdir
fchown (a_fd: INTEGER_32, an_owner: NATURAL_32, a_group: NATURAL_32): INTEGER_32
{}
function fchown (in /usr/include/unistd.h) fchown
fchownat (a_fd: INTEGER_32, a_file: POINTER, an_owner: NATURAL_32, a_group: NATURAL_32, a_flag: INTEGER_32): INTEGER_32
{}
function fchownat (in /usr/include/unistd.h) fchownat
fdatasync (a_fildes: INTEGER_32): INTEGER_32
{}
function fdatasync (in /usr/include/unistd.h) fdatasync
fexecve (a_fd: INTEGER_32, an_argv: POINTER, an_envp: POINTER): INTEGER_32
{}
function fexecve (in /usr/include/unistd.h) fexecve
fork: INTEGER_32
{}
function fork (in /usr/include/unistd.h) fork
fpathconf (a_fd: INTEGER_32, a_name: INTEGER_32): INTEGER_64
{}
function fpathconf (in /usr/include/unistd.h) fpathconf
fsync (a_fd: INTEGER_32): INTEGER_32
{}
function fsync (in /usr/include/unistd.h) fsync
ftruncate (a_fd: INTEGER_32, a_length: INTEGER_64): INTEGER_32
{}
function ftruncate (in /usr/include/unistd.h) ftruncate
ftruncate64 (a_fd: INTEGER_32, a_length: INTEGER_64): INTEGER_32
{}
function ftruncate64 (in /usr/include/unistd.h) ftruncate64
get_current_dir_name: POINTER
{}
function get_current_dir_name (in /usr/include/unistd.h) get_current_dir_name
getcwd (a_buf: POINTER, a_size: NATURAL_64): POINTER
{}
function getcwd (in /usr/include/unistd.h) getcwd
getdomainname (a_name: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function getdomainname (in /usr/include/unistd.h) getdomainname
getdtablesize: INTEGER_32
{}
function getdtablesize (in /usr/include/unistd.h) getdtablesize
getegid: NATURAL_32
{}
function getegid (in /usr/include/unistd.h) getegid
geteuid: NATURAL_32
{}
function geteuid (in /usr/include/unistd.h) geteuid
getgid: NATURAL_32
{}
function getgid (in /usr/include/unistd.h) getgid
getgroups (a_size: INTEGER_32, a_list: POINTER): INTEGER_32
{}
function getgroups (in /usr/include/unistd.h) getgroups
gethostid: INTEGER_64
{}
function gethostid (in /usr/include/unistd.h) gethostid
gethostname (a_name: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function gethostname (in /usr/include/unistd.h) gethostname
getlogin: POINTER
{}
function getlogin (in /usr/include/unistd.h) getlogin
getlogin_r (a_name: POINTER, a_name_len: NATURAL_64): INTEGER_32
{}
function getlogin_r (in /usr/include/unistd.h) getlogin_r
getpagesize: INTEGER_32
{}
function getpagesize (in /usr/include/unistd.h) getpagesize
getpass (a_prompt: POINTER): POINTER
{}
function getpass (in /usr/include/unistd.h) getpass
getpgid (a_pid: INTEGER_32): INTEGER_32
{}
function getpgid (in /usr/include/unistd.h) getpgid
getpgrp: INTEGER_32
{}
function getpgrp (in /usr/include/unistd.h) getpgrp
getpid: INTEGER_32
{}
function getpid (in /usr/include/unistd.h) getpid
getppid: INTEGER_32
{}
function getppid (in /usr/include/unistd.h) getppid
getresgid (a_rgid: POINTER, an_egid: POINTER, a_sgid: POINTER): INTEGER_32
{}
function getresgid (in /usr/include/unistd.h) getresgid
getresuid (a_ruid: POINTER, an_euid: POINTER, a_suid: POINTER): INTEGER_32
{}
function getresuid (in /usr/include/unistd.h) getresuid
getsid (a_pid: INTEGER_32): INTEGER_32
{}
function getsid (in /usr/include/unistd.h) getsid
getuid: NATURAL_32
{}
function getuid (in /usr/include/unistd.h) getuid
getusershell: POINTER
{}
function getusershell (in /usr/include/unistd.h) getusershell
getwd (a_buf: POINTER): POINTER
{}
function getwd (in /usr/include/unistd.h) getwd
group_member (a_gid: NATURAL_32): INTEGER_32
{}
function group_member (in /usr/include/unistd.h) group_member
isatty (a_fd: INTEGER_32): INTEGER_32
{}
function isatty (in /usr/include/unistd.h) isatty
lchown (a_file: POINTER, an_owner: NATURAL_32, a_group: NATURAL_32): INTEGER_32
{}
function lchown (in /usr/include/unistd.h) lchown
link (a_from_external: POINTER, a_to: POINTER): INTEGER_32
{}
function link (in /usr/include/unistd.h) link
linkat (a_fromfd: INTEGER_32, a_from_external: POINTER, a_tofd: INTEGER_32, a_to: POINTER, a_flags: INTEGER_32): INTEGER_32
{}
function linkat (in /usr/include/unistd.h) linkat
lseek (a_fd: INTEGER_32, an_offset: INTEGER_64, a_whence: INTEGER_32): INTEGER_64
{}
function lseek (in /usr/include/unistd.h) lseek
lseek64 (a_fd: INTEGER_32, an_offset: INTEGER_64, a_whence: INTEGER_32): INTEGER_64
{}
function lseek64 (in /usr/include/unistd.h) lseek64
nice (an_inc: INTEGER_32): INTEGER_32
{}
function nice (in /usr/include/unistd.h) nice
pathconf (a_path: POINTER, a_name: INTEGER_32): INTEGER_64
{}
function pathconf (in /usr/include/unistd.h) pathconf
pause: INTEGER_32
{}
function pause (in /usr/include/unistd.h) pause
pipe (a_pipedes: POINTER): INTEGER_32
{}
function pipe (in /usr/include/unistd.h) pipe
pipe2 (a_pipedes: POINTER, a_flags: INTEGER_32): INTEGER_32
{}
function pipe2 (in /usr/include/unistd.h) pipe2
pread (a_fd: INTEGER_32, a_buf: POINTER, a_nbytes: NATURAL_64, an_offset: INTEGER_64): INTEGER_64
{}
function pread (in /usr/include/unistd.h) pread
pread64 (a_fd: INTEGER_32, a_buf: POINTER, a_nbytes: NATURAL_64, an_offset: INTEGER_64): INTEGER_64
{}
function pread64 (in /usr/include/unistd.h) pread64
profil (a_sample_buffer: POINTER, a_size: NATURAL_64, an_offset: NATURAL_64, a_scale: NATURAL_32): INTEGER_32
{}
function profil (in /usr/include/unistd.h) profil
pwrite (a_fd: INTEGER_32, a_buf: POINTER, a_n: NATURAL_64, an_offset: INTEGER_64): INTEGER_64
{}
function pwrite (in /usr/include/unistd.h) pwrite
pwrite64 (a_fd: INTEGER_32, a_buf: POINTER, a_n: NATURAL_64, an_offset: INTEGER_64): INTEGER_64
{}
function pwrite64 (in /usr/include/unistd.h) pwrite64
read (a_fd: INTEGER_32, a_buf: POINTER, a_nbytes: NATURAL_64): INTEGER_64
{}
function read (in /usr/include/unistd.h) read
readlink (a_path: POINTER, a_buf: POINTER, a_len: NATURAL_64): INTEGER_64
{}
function readlink (in /usr/include/unistd.h) readlink
readlinkat (a_fd: INTEGER_32, a_path: POINTER, a_buf: POINTER, a_len: NATURAL_64): INTEGER_64
{}
function readlinkat (in /usr/include/unistd.h) readlinkat
revoke (a_file: POINTER): INTEGER_32
{}
function revoke (in /usr/include/unistd.h) revoke
rmdir (a_path: POINTER): INTEGER_32
{}
function rmdir (in /usr/include/unistd.h) rmdir
sbrk (a_delta: INTEGER_64): POINTER
{}
function sbrk (in /usr/include/unistd.h) sbrk
setdomainname (a_name: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function setdomainname (in /usr/include/unistd.h) setdomainname
setegid (a_gid: NATURAL_32): INTEGER_32
{}
function setegid (in /usr/include/unistd.h) setegid
seteuid (an_uid: NATURAL_32): INTEGER_32
{}
function seteuid (in /usr/include/unistd.h) seteuid
setgid (a_gid: NATURAL_32): INTEGER_32
{}
function setgid (in /usr/include/unistd.h) setgid
sethostid (an_id: INTEGER_64): INTEGER_32
{}
function sethostid (in /usr/include/unistd.h) sethostid
sethostname (a_name: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function sethostname (in /usr/include/unistd.h) sethostname
setlogin (a_name: POINTER): INTEGER_32
{}
function setlogin (in /usr/include/unistd.h) setlogin
setpgid (a_pid: INTEGER_32, a_pgid: INTEGER_32): INTEGER_32
{}
function setpgid (in /usr/include/unistd.h) setpgid
setpgrp: INTEGER_32
{}
function setpgrp (in /usr/include/unistd.h) setpgrp
setregid (a_rgid: NATURAL_32, an_egid: NATURAL_32): INTEGER_32
{}
function setregid (in /usr/include/unistd.h) setregid
setresgid (a_rgid: NATURAL_32, an_egid: NATURAL_32, a_sgid: NATURAL_32): INTEGER_32
{}
function setresgid (in /usr/include/unistd.h) setresgid
setresuid (a_ruid: NATURAL_32, an_euid: NATURAL_32, a_suid: NATURAL_32): INTEGER_32
{}
function setresuid (in /usr/include/unistd.h) setresuid
setreuid (a_ruid: NATURAL_32, an_euid: NATURAL_32): INTEGER_32
{}
function setreuid (in /usr/include/unistd.h) setreuid
setsid: INTEGER_32
{}
function setsid (in /usr/include/unistd.h) setsid
setuid (an_uid: NATURAL_32): INTEGER_32
{}
function setuid (in /usr/include/unistd.h) setuid
setusershell
{}
function setusershell (in /usr/include/unistd.h) setusershell
sleep (a_seconds: NATURAL_32): NATURAL_32
{}
function sleep (in /usr/include/unistd.h) sleep
swab (a_from_external: POINTER, a_to: POINTER, a_n: INTEGER_64)
{}
function swab (in /usr/include/unistd.h) swab
symlink (a_from_external: POINTER, a_to: POINTER): INTEGER_32
{}
function symlink (in /usr/include/unistd.h) symlink
symlinkat (a_from_external: POINTER, a_tofd: INTEGER_32, a_to: POINTER): INTEGER_32
{}
function symlinkat (in /usr/include/unistd.h) symlinkat
sync
{}
function sync (in /usr/include/unistd.h) sync
syncfs (a_fd: INTEGER_32): INTEGER_32
{}
function syncfs (in /usr/include/unistd.h) syncfs
syscall (a_sysno: INTEGER_64): INTEGER_64
{}
function syscall (in /usr/include/unistd.h) syscall (variadic call)
sysconf (a_name: INTEGER_32): INTEGER_64
{}
function sysconf (in /usr/include/unistd.h) sysconf
tcgetpgrp (a_fd: INTEGER_32): INTEGER_32
{}
function tcgetpgrp (in /usr/include/unistd.h) tcgetpgrp
tcsetpgrp (a_fd: INTEGER_32, a_pgrp_id: INTEGER_32): INTEGER_32
{}
function tcsetpgrp (in /usr/include/unistd.h) tcsetpgrp
truncate (a_file: POINTER, a_length: INTEGER_64): INTEGER_32
{}
function truncate (in /usr/include/unistd.h) truncate
truncate64 (a_file: POINTER, a_length: INTEGER_64): INTEGER_32
{}
function truncate64 (in /usr/include/unistd.h) truncate64
ttyname (a_fd: INTEGER_32): POINTER
{}
function ttyname (in /usr/include/unistd.h) ttyname
ttyname_r (a_fd: INTEGER_32, a_buf: POINTER, a_buflen: NATURAL_64): INTEGER_32
{}
function ttyname_r (in /usr/include/unistd.h) ttyname_r
ttyslot: INTEGER_32
{}
function ttyslot (in /usr/include/unistd.h) ttyslot
ualarm (a_value: NATURAL_32, an_interval: NATURAL_32): NATURAL_32
{}
function ualarm (in /usr/include/unistd.h) ualarm
unlink (a_name: POINTER): INTEGER_32
{}
function unlink (in /usr/include/unistd.h) unlink
unlinkat (a_fd: INTEGER_32, a_name: POINTER, a_flag: INTEGER_32): INTEGER_32
{}
function unlinkat (in /usr/include/unistd.h) unlinkat
usleep (an_useconds: NATURAL_32): INTEGER_32
{}
function usleep (in /usr/include/unistd.h) usleep
vfork: INTEGER_32
{}
function vfork (in /usr/include/unistd.h) vfork
vhangup: INTEGER_32
{}
function vhangup (in /usr/include/unistd.h) vhangup
write (a_fd: INTEGER_32, a_buf: POINTER, a_n: NATURAL_64): INTEGER_64
{}
function write (in /usr/include/unistd.h) write
long: INTEGER_64
effective function
{ANY}
a query with the same type of c 'long int'.
long_unsigned: NATURAL_64
effective function
{ANY}
a query with the same type of c 'long unsigned int'.
comparison_fn_t: POINTER
effective function
{ANY}
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
timer_t: POINTER
effective function
{ANY}
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
clockid_t: INTEGER_32
effective function
{ANY}
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
time_t: INTEGER_64
effective function
{ANY}
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
clock_t: INTEGER_64
effective function
{ANY}
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
uintmax_t: NATURAL_64
effective function
{ANY}
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intmax_t: INTEGER_64
effective function
{ANY}
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uintptr_t: NATURAL_64
effective function
{ANY}
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intptr_t: INTEGER_64
effective function
{ANY}
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast64_t: NATURAL_64
effective function
{ANY}
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast32_t: NATURAL_64
effective function
{ANY}
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast16_t: NATURAL_64
effective function
{ANY}
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast8_t: CHARACTER
effective function
{ANY}
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast64_t: INTEGER_64
effective function
{ANY}
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast32_t: INTEGER_64
effective function
{ANY}
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast16_t: INTEGER_64
effective function
{ANY}
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast8_t: CHARACTER
effective function
{ANY}
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least64_t: NATURAL_64
effective function
{ANY}
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least32_t: NATURAL_32
effective function
{ANY}
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least16_t: NATURAL_16
effective function
{ANY}
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least8_t: CHARACTER
effective function
{ANY}
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least64_t: INTEGER_64
effective function
{ANY}
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least32_t: INTEGER_32
effective function
{ANY}
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least16_t: INTEGER_16
effective function
{ANY}
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least8_t: CHARACTER
effective function
{ANY}
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint64_t: NATURAL_64
effective function
{ANY}
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint32_t: NATURAL_32
effective function
{ANY}
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint16_t: NATURAL_16
effective function
{ANY}
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint8_t: CHARACTER
effective function
{ANY}
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int64_t: INTEGER_64
effective function
{ANY}
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int32_t: INTEGER_32
effective function
{ANY}
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int16_t: INTEGER_16
effective function
{ANY}
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int8_t: CHARACTER
effective function
{ANY}
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ssize_t: INTEGER_64
effective function
{ANY}
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
off64_t: INTEGER_64
effective function
{ANY}
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
off_t: INTEGER_64
effective function
{ANY}
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
size_t: NATURAL_64
effective function
{ANY}
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ptrdiff_t: INTEGER_64
effective function
{ANY}
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
error_t: INTEGER_32
effective function
{ANY}
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
wait3 (a_stat_loc: POINTER, an_options: INTEGER_32, an_usage: POINTER): INTEGER_32
{}
function wait3 (in /usr/include/x86_64-linux-gnu/sys/wait.h) wait3
wait4 (a_pid: INTEGER_32, a_stat_loc: POINTER, an_options: INTEGER_32, an_usage: POINTER): INTEGER_32
{}
function wait4 (in /usr/include/x86_64-linux-gnu/sys/wait.h) wait4
waitid (an_idtype: INTEGER_32, an_id: NATURAL_32, an_infop: POINTER, an_options: INTEGER_32): INTEGER_32
{}
function waitid (in /usr/include/x86_64-linux-gnu/sys/wait.h) waitid
waitpid (a_pid: INTEGER_32, a_stat_loc: POINTER, an_options: INTEGER_32): INTEGER_32
{}
function waitpid (in /usr/include/x86_64-linux-gnu/sys/wait.h) waitpid
Check_instruction: INTEGER_32
is 1
constant attribute
{ANY}
Exception code for violated check.
Class_invariant: INTEGER_32
is 2
constant attribute
{ANY}
Exception code for violated class invariant.
Developer_exception: INTEGER_32
is 3
constant attribute
{ANY}
Exception code for developer exception.
Incorrect_inspect_value: INTEGER_32
is 4
constant attribute
{ANY}
Exception code for inspect statement.
Loop_invariant: INTEGER_32
is 5
constant attribute
{ANY}
Exception code for violated loop invariant
Loop_variant: INTEGER_32
is 6
constant attribute
{ANY}
Exception code for non-decreased loop variant
No_more_memory: INTEGER_32
is 7
constant attribute
{ANY}
Exception code for failed memory allocation
Postcondition: INTEGER_32
is 8
constant attribute
{ANY}
Exception code for violated postcondition.
Precondition: INTEGER_32
is 9
constant attribute
{ANY}
Exception code for violated precondition.
Routine_failure: INTEGER_32
is 10
constant attribute
{ANY}
Exception code for failed routine.
Os_signal: INTEGER_32
is 11
constant attribute
{ANY}
Exception code for a signal received from the OS.
Void_attached_to_expanded: INTEGER_32
is 12
constant attribute
{ANY}
Exception code for attachment of Void value to expanded entity.
Void_call_target: INTEGER_32
is 13
constant attribute
{ANY}
Exception code for feature applied to Void reference
System_level_type_error: INTEGER_32
is 14
constant attribute
{ANY}
Exception code for the system-level type error (this kind of error mostly arise with covariant redefinition).
exception_name: STRING
effective function
{ANY}
name_of_exception (a_exception: INTEGER_32): STRING
effective function
{ANY}
developer_exception: EXCEPTION
effective function
{ANY}
The last developer-thrown exception.
developer_exception_name: STRING
effective function
{ANY}
Name of last developer-raised exception.
is_developer_exception: BOOLEAN
effective function
{ANY}
Is the last exception originally due to a developer exception?
is_developer_named_exception: BOOLEAN
effective function
{ANY}
Is the last exception originally due to a developer exception?
is_developer_exception_of_name (name: STRING): BOOLEAN
effective function
{ANY}
Is the last exception originally due to a developer exception of name name?
assertion_violation: BOOLEAN
effective function
{ANY}
Is last exception originally due to a violated assertion or non-decreasing variant?
exception: INTEGER_32
{ANY}
Code of last exception that occurred.
is_signal: BOOLEAN
effective function
{ANY}
Is last exception originally due to an external event (operating system signal) ?
die (code: INTEGER_32)
effective procedure
{ANY}
Terminate execution with exit status code, without triggering an exception.
raise (name: STRING)
effective procedure
{ANY}
Raise a developer exception of name name.
throw (a_exception: EXCEPTION)
effective procedure
{ANY}
signal_number: INTEGER_32
{ANY}
Signal Number received from OS.
named_exception: NAMED_EXCEPTION
once function
{}
developer_exception_memory: REFERENCE[EXCEPTION]
once function
{}
raise_exception (code: INTEGER_32)
{}