+
Point of view
All features
deferred class ZMQ_STATUS
Summary
top
Status reporting of øMQ sockets, messages, contextes
Direct parents
Insert list: ERRNO, EXCEPTIONS
Known children
Insert list: ZMQ_MESSAGE, ZMQ_SOCKET
Overview
top
Features
Status
{ANY}
{ANY}
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}
{}
{}
is_successful: BOOLEAN
writable attribute
{ANY}
top
Was last command successful?
is_unsuccessful: BOOLEAN
effective function
{ANY}
top
handle_return_value (a_return_value: INTEGER_32)
effective procedure
{ANY}
top
zmq_exception: ZMQ_EXCEPTION
effective function
{ANY}
top
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
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
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