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