class ZMQ_STRING_MESSAGE
Summary
A ØMQ message containing some human-readable text.
Direct parents
Inherit list: NATIVELY_STORED_STRING, ZMQ_MESSAGE
Class invariant
Overview
Creation features
{ANY}
{ZMQ_MESSAGE}
{ANY}
Features
Creation
{}
{ANY}
  • update
    Do whatever is needed to update the status of Current.
Specializing natively stored string
{ANY}
Creation
{}
Queries
{ANY}
  • size: NATURAL_64
    the size of message content TODO: shall be like size_t
Convertions.
{ANY}
Disposing
{ANY}
  • dispose
    Action to be executed just before garbage collection reclaims an object.
Command
{ANY}
Implementation
{}
Initialization
{}
Copying
{ANY}
Access to C features struct_size should be exported to WRAPPER, to be able to check size before copying
{}
Destroying
{WRAPPER_HANDLER}
Implementation
{WRAPPER, WRAPPER_HANDLER}
Integer and natural convertions This section is currently necessary as Liberty does not have automatic type convertions.
{WRAPPER}
Utility features
{}
Wrapper related exceptions
{}
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}
{}
Pointer referencing and de-referencing
{WRAPPER}
Dealing with "char **" return types
{WRAPPER}
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 function basename skipped as requested. function basename skipped as requested.
{}
Status
{ANY}
{ANY}
{}
External calls hidden function __builtin_memcpy skipped.
{}
Low-level setters
{}
Low-level queries
{}
{STRING_HANDLER}
{ANY}
Concatenation
{ANY}
Access
{ANY}
{STRING_HANDLER}
{STRING_HANDLER}
storage signature: only in all_check mode
{}
{STRING_HANDLER}
{ANY}
Testing:
{ANY}
Testing and Conversion:
{ANY}
Concatenation
{ANY}
Case conversion
{ANY}
Printing:
{ANY}
String replacing
{ANY}
Other features:
{ANY}
Splitting a STRING:
{ANY}
Other features:
{ANY}
Other features here for ELKS compatibility:
{ANY}
{}
The states of the finite state automaton used in arg feature
{}
{}
{ANY}
  • in_range (lower: ZMQ_STRING_MESSAGE, upper: ZMQ_STRING_MESSAGE): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • min (other: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
    Minimum of Current and other.
  • max (other: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
    Maximum of Current and other.
  • bounded_by (a_min: ZMQ_STRING_MESSAGE, a_max: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
    A value that is equal to Current if it is between the limits set by a_min and a_max.
{ANY}
Other features:
{ANY}
Agent-based features:
{ANY}
{ANY}
{}
Agent-based features:
{ANY}
{}
Indexing:
{ANY}
Maximum:
{}
Minimum:
{}
Bits:
{}
from_message (a_message: ZMQ_MESSAGE)
effective procedure
{}
Initialize a text message with the same memory area of a_message
from_string (a_string: ABSTRACT_STRING)
effective procedure
{}
Initialize a ØMQ message with the content of a_string.
update
effective procedure
{ANY}
Do whatever is needed to update the status of Current.
ensure_capacity (needed_capacity: INTEGER_32)
effective procedure
{ANY}
hash_code: INTEGER_32
effective function
{ANY}
The hash-code value of Current.
recycle
effective procedure
{ANY}
Do whatever needs to be done to free resources or recycle other objects when recycling this one
to_external: POINTER
effective function
{ANY}
The address of a memory region containing the text of Current, useful to interact with the C language.
intern: FIXED_STRING
effective function
{ANY}
A shared version of this string.
substring (start_index: INTEGER_32, end_index: INTEGER_32): ZMQ_STRING_MESSAGE
effective function
{ANY}
New string consisting of items [start_index.. end_index].
default_create
effective procedure
{}
Initialize an empty ØMQ message
with_size (a_size: NATURAL_64)
effective procedure
{}
Initialize a ØMQ message a_size bytes long.
size: NATURAL_64
effective function
{ANY}
the size of message content TODO: shall be like size_t
as_string_message: ZMQ_STRING_MESSAGE
effective function
{ANY}
A string message with the same content of
dispose
effective procedure
{ANY}
Action to be executed just before garbage collection reclaims an object.
initialize
effective procedure
{ANY}
Initialize message
close
effective procedure
{}
data: POINTER
effective function
{}
from_external_copy (other: POINTER)
effective procedure
{}
allocate
effective procedure
{}
Allocate an uninitialized structure.
copy (other: ZMQ_STRING_MESSAGE)
effective procedure
{ANY}
is_equal (another: ZMQ_STRING_MESSAGE): BOOLEAN
effective function
{ANY}
struct_size: NATURAL_64
deferred function
{}
free_handle
effective procedure
release the external memory
from_external_pointer (a_ptr: POINTER)
effective procedure
set_handle (a_ptr: POINTER)
effective procedure
Set a non-null handle.
handle: POINTER
writable attribute
Pointer to the underlying C "thing" (i.e. a struct)
reference: POINTER
effective function
The address of handle.
integer_to_size_t (an_integer: INTEGER_32): NATURAL_64
Comodity feature to cast an integer into an actual size_t
null_or (a_wrapper: WRAPPER): POINTER
effective function
{}
The handle of a_wrapper, or the default_pointer if a_wrapper is Void
null_or_string (a_string: ABSTRACT_STRING): POINTER
effective function
{}
A pointer to a memory area containing the content of a_string or default_pointer if a_string is Void.
null_or_array (a_collection: WRAPPER_COLLECTION[WRAPPER]): POINTER
effective function
{}
A pointer to the contenct of a_collection or NULL (default_pointer) if a_collection is Void
collection_to_c_array (a_collection: COLLECTION[WRAPPER]): FAST_ARRAY[POINTER]
effective function
{}
An array containing the pointers to the objects wrapped by a_collection wrappers.
pointer_to_unwrapped_deferred_object: STRING
is "A C function returned a pointer to an unwrapped object which is wrapped by a deferred class. It is not possible to create a correct wrapper."
constant attribute
{}
retrieved_object_mismatch: STRING
is "Retrieved_object_mismatch: the Eiffel wrapper associated with a pointer is not an actual wrapper for the object referred by that pointer "
constant attribute
{}
copying_an_uncopyable: STRING
is "Trying to copy an uncopyable wrapper: such objects are usually shortly lived"
constant attribute
{}
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)
{}
address_of (a_pointer: POINTER): POINTER
content_of (a_pointer: POINTER): POINTER
The pointer referenced by a_pointer which has to be a pointer to a pointer (i.e.: void **).
strings_array_from (a_pointer: POINTER): FAST_ARRAY[FIXED_STRING]
effective function
Build a FAST_ARRAY of STRINGs from a_pointer which must be of a NULL-terminated array of C strings, that is a "char**" String contents and array itself are copied.
sized_strings_array_from (a_pointer: POINTER, a_size: INTEGER_32): FAST_ARRAY[FIXED_STRING]
effective function
Build a FAST_ARRAY of STRINGs from a_pointer which must be of a array of C strings of a_size elements.
a64l (a_s: POINTER): INTEGER_64
{}
function a64l (in /usr/include/stdlib.h) a64l
abort
{}
function abort (in /usr/include/stdlib.h) abort
abs (a_x: INTEGER_32): INTEGER_32
{}
function abs (in /usr/include/stdlib.h) abs
aligned_alloc (an_alignment: NATURAL_64, a_size: NATURAL_64): POINTER
{}
function aligned_alloc (in /usr/include/stdlib.h) aligned_alloc
at_quick_exit (a_func: POINTER): INTEGER_32
{}
function at_quick_exit (in /usr/include/stdlib.h) at_quick_exit
atexit (a_func: POINTER): INTEGER_32
{}
function atexit (in /usr/include/stdlib.h) atexit
atof (a_nptr: POINTER): REAL_64
{}
function atof (in /usr/include/stdlib.h) atof
atoi (a_nptr: POINTER): INTEGER_32
{}
function atoi (in /usr/include/stdlib.h) atoi
atol (a_nptr: POINTER): INTEGER_64
{}
function atol (in /usr/include/stdlib.h) atol
atoll (a_nptr: POINTER): INTEGER_64
{}
function atoll (in /usr/include/stdlib.h) atoll
bsearch (a_key: POINTER, a_base: POINTER, a_nmemb: NATURAL_64, a_size: NATURAL_64, a_compar: POINTER): POINTER
{}
function bsearch (in /usr/include/stdlib.h) bsearch
calloc (a_nmemb: NATURAL_64, a_size: NATURAL_64): POINTER
{}
function calloc (in /usr/include/stdlib.h) calloc
canonicalize_file_name (a_name: POINTER): POINTER
{}
function canonicalize_file_name (in /usr/include/stdlib.h) canonicalize_file_name
cfree (a_ptr: POINTER)
{}
function cfree (in /usr/include/stdlib.h) cfree
clearenv: INTEGER_32
{}
function clearenv (in /usr/include/stdlib.h) clearenv
drand48: REAL_64
{}
function drand48 (in /usr/include/stdlib.h) drand48
drand48_r (a_buffer: POINTER, a_result: POINTER): INTEGER_32
{}
function drand48_r (in /usr/include/stdlib.h) drand48_r
ecvt (a_value: REAL_64, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER): POINTER
{}
function ecvt (in /usr/include/stdlib.h) ecvt
ecvt_r (a_value: REAL_64, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER, a_buf: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function ecvt_r (in /usr/include/stdlib.h) ecvt_r
erand48 (a_xsubi: POINTER): REAL_64
{}
function erand48 (in /usr/include/stdlib.h) erand48
erand48_r (a_xsubi: POINTER, a_buffer: POINTER, a_result: POINTER): INTEGER_32
{}
function erand48_r (in /usr/include/stdlib.h) erand48_r
exit (a_status: INTEGER_32)
{}
function exit (in /usr/include/stdlib.h) exit
fcvt (a_value: REAL_64, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER): POINTER
{}
function fcvt (in /usr/include/stdlib.h) fcvt
fcvt_r (a_value: REAL_64, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER, a_buf: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function fcvt_r (in /usr/include/stdlib.h) fcvt_r
free (a_ptr: POINTER)
{}
function free (in /usr/include/stdlib.h) free
gcvt (a_value: REAL_64, a_ndigit: INTEGER_32, a_buf: POINTER): POINTER
{}
function gcvt (in /usr/include/stdlib.h) gcvt
getenv (a_name: POINTER): POINTER
{}
function getenv (in /usr/include/stdlib.h) getenv
getloadavg (a_loadavg: POINTER, a_nelem: INTEGER_32): INTEGER_32
{}
function getloadavg (in /usr/include/stdlib.h) getloadavg
getpt: INTEGER_32
{}
function getpt (in /usr/include/stdlib.h) getpt
getsubopt (an_optionp: POINTER, a_tokens: POINTER, a_valuep: POINTER): INTEGER_32
{}
function getsubopt (in /usr/include/stdlib.h) getsubopt
grantpt (a_fd: INTEGER_32): INTEGER_32
{}
function grantpt (in /usr/include/stdlib.h) grantpt
initstate (a_seed: NATURAL_32, a_statebuf: POINTER, a_statelen: NATURAL_64): POINTER
{}
function initstate (in /usr/include/stdlib.h) initstate
initstate_r (a_seed: NATURAL_32, a_statebuf: POINTER, a_statelen: NATURAL_64, a_buf: POINTER): INTEGER_32
{}
function initstate_r (in /usr/include/stdlib.h) initstate_r
jrand48 (a_xsubi: POINTER): INTEGER_64
{}
function jrand48 (in /usr/include/stdlib.h) jrand48
jrand48_r (a_xsubi: POINTER, a_buffer: POINTER, a_result: POINTER): INTEGER_32
{}
function jrand48_r (in /usr/include/stdlib.h) jrand48_r
l64a (a_n: INTEGER_64): POINTER
{}
function l64a (in /usr/include/stdlib.h) l64a
labs (a_x: INTEGER_64): INTEGER_64
{}
function labs (in /usr/include/stdlib.h) labs
lcong48 (a_param: POINTER)
{}
function lcong48 (in /usr/include/stdlib.h) lcong48
lcong48_r (a_param: POINTER, a_buffer: POINTER): INTEGER_32
{}
function lcong48_r (in /usr/include/stdlib.h) lcong48_r
llabs (a_x: INTEGER_64): INTEGER_64
{}
function llabs (in /usr/include/stdlib.h) llabs
lrand48: INTEGER_64
{}
function lrand48 (in /usr/include/stdlib.h) lrand48
lrand48_r (a_buffer: POINTER, a_result: POINTER): INTEGER_32
{}
function lrand48_r (in /usr/include/stdlib.h) lrand48_r
malloc (a_size: NATURAL_64): POINTER
{}
function malloc (in /usr/include/stdlib.h) malloc
mblen (a_s: POINTER, a_n: NATURAL_64): INTEGER_32
{}
function mblen (in /usr/include/stdlib.h) mblen
mbstowcs (a_pwcs: POINTER, a_s: POINTER, a_n: NATURAL_64): NATURAL_64
{}
function mbstowcs (in /usr/include/stdlib.h) mbstowcs
mbtowc (a_pwc: POINTER, a_s: POINTER, a_n: NATURAL_64): INTEGER_32
{}
function mbtowc (in /usr/include/stdlib.h) mbtowc
memcpy (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): POINTER
{}
function memcpy (in /usr/include/stdlib.h) memcpy
mkdtemp (a_template: POINTER): POINTER
{}
function mkdtemp (in /usr/include/stdlib.h) mkdtemp
mkostemp (a_template: POINTER, a_flags: INTEGER_32): INTEGER_32
{}
function mkostemp (in /usr/include/stdlib.h) mkostemp
mkostemp64 (a_template: POINTER, a_flags: INTEGER_32): INTEGER_32
{}
function mkostemp64 (in /usr/include/stdlib.h) mkostemp64
mkostemps (a_template: POINTER, a_suffixlen: INTEGER_32, a_flags: INTEGER_32): INTEGER_32
{}
function mkostemps (in /usr/include/stdlib.h) mkostemps
mkostemps64 (a_template: POINTER, a_suffixlen: INTEGER_32, a_flags: INTEGER_32): INTEGER_32
{}
function mkostemps64 (in /usr/include/stdlib.h) mkostemps64
mkstemp (a_template: POINTER): INTEGER_32
{}
function mkstemp (in /usr/include/stdlib.h) mkstemp
mkstemp64 (a_template: POINTER): INTEGER_32
{}
function mkstemp64 (in /usr/include/stdlib.h) mkstemp64
mkstemps (a_template: POINTER, a_suffixlen: INTEGER_32): INTEGER_32
{}
function mkstemps (in /usr/include/stdlib.h) mkstemps
mkstemps64 (a_template: POINTER, a_suffixlen: INTEGER_32): INTEGER_32
{}
function mkstemps64 (in /usr/include/stdlib.h) mkstemps64
mktemp (a_template: POINTER): POINTER
{}
function mktemp (in /usr/include/stdlib.h) mktemp
mrand48: INTEGER_64
{}
function mrand48 (in /usr/include/stdlib.h) mrand48
mrand48_r (a_buffer: POINTER, a_result: POINTER): INTEGER_32
{}
function mrand48_r (in /usr/include/stdlib.h) mrand48_r
nrand48 (a_xsubi: POINTER): INTEGER_64
{}
function nrand48 (in /usr/include/stdlib.h) nrand48
nrand48_r (a_xsubi: POINTER, a_buffer: POINTER, a_result: POINTER): INTEGER_32
{}
function nrand48_r (in /usr/include/stdlib.h) nrand48_r
on_exit (a_func: POINTER, an_arg: POINTER): INTEGER_32
{}
function on_exit (in /usr/include/stdlib.h) on_exit
posix_memalign (a_memptr: POINTER, an_alignment: NATURAL_64, a_size: NATURAL_64): INTEGER_32
{}
function posix_memalign (in /usr/include/stdlib.h) posix_memalign
posix_openpt (an_oflag: INTEGER_32): INTEGER_32
{}
function posix_openpt (in /usr/include/stdlib.h) posix_openpt
ptsname (a_fd: INTEGER_32): POINTER
{}
function ptsname (in /usr/include/stdlib.h) ptsname
ptsname_r (a_fd: INTEGER_32, a_buf: POINTER, a_buflen: NATURAL_64): INTEGER_32
{}
function ptsname_r (in /usr/include/stdlib.h) ptsname_r
putenv (a_string: POINTER): INTEGER_32
{}
function putenv (in /usr/include/stdlib.h) putenv
qecvt (a_value: REAL_EXTENDED, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER): POINTER
{}
function qecvt (in /usr/include/stdlib.h) qecvt
qecvt_r (a_value: REAL_EXTENDED, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER, a_buf: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function qecvt_r (in /usr/include/stdlib.h) qecvt_r
qfcvt (a_value: REAL_EXTENDED, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER): POINTER
{}
function qfcvt (in /usr/include/stdlib.h) qfcvt
qfcvt_r (a_value: REAL_EXTENDED, a_ndigit: INTEGER_32, a_decpt: POINTER, a_sign: POINTER, a_buf: POINTER, a_len: NATURAL_64): INTEGER_32
{}
function qfcvt_r (in /usr/include/stdlib.h) qfcvt_r
qgcvt (a_value: REAL_EXTENDED, a_ndigit: INTEGER_32, a_buf: POINTER): POINTER
{}
function qgcvt (in /usr/include/stdlib.h) qgcvt
qsort (a_base: POINTER, a_nmemb: NATURAL_64, a_size: NATURAL_64, a_compar: POINTER)
{}
function qsort (in /usr/include/stdlib.h) qsort
qsort_r (a_base: POINTER, a_nmemb: NATURAL_64, a_size: NATURAL_64, a_compar: POINTER, an_arg: POINTER)
{}
function qsort_r (in /usr/include/stdlib.h) qsort_r
quick_exit (a_status: INTEGER_32)
{}
function quick_exit (in /usr/include/stdlib.h) quick_exit
rand: INTEGER_32
{}
function rand (in /usr/include/stdlib.h) rand
rand_r (a_seed: POINTER): INTEGER_32
{}
function rand_r (in /usr/include/stdlib.h) rand_r
random: INTEGER_64
{}
function random (in /usr/include/stdlib.h) random
random_r (a_buf: POINTER, a_result: POINTER): INTEGER_32
{}
function random_r (in /usr/include/stdlib.h) random_r
realloc (a_ptr: POINTER, a_size: NATURAL_64): POINTER
{}
function realloc (in /usr/include/stdlib.h) realloc
realpath (a_name: POINTER, a_resolved: POINTER): POINTER
{}
function realpath (in /usr/include/stdlib.h) realpath
rpmatch (a_response: POINTER): INTEGER_32
{}
function rpmatch (in /usr/include/stdlib.h) rpmatch
secure_getenv (a_name: POINTER): POINTER
{}
function secure_getenv (in /usr/include/stdlib.h) secure_getenv
seed48 (a_seed16v: POINTER): POINTER
{}
function seed48 (in /usr/include/stdlib.h) seed48
seed48_r (a_seed16v: POINTER, a_buffer: POINTER): INTEGER_32
{}
function seed48_r (in /usr/include/stdlib.h) seed48_r
setenv (a_name: POINTER, a_value: POINTER, a_replace: INTEGER_32): INTEGER_32
{}
function setenv (in /usr/include/stdlib.h) setenv
setkey (a_key: POINTER)
{}
function setkey (in /usr/include/stdlib.h) setkey
setstate (a_statebuf: POINTER): POINTER
{}
function setstate (in /usr/include/stdlib.h) setstate
setstate_r (a_statebuf: POINTER, a_buf: POINTER): INTEGER_32
{}
function setstate_r (in /usr/include/stdlib.h) setstate_r
srand (a_seed: NATURAL_32)
{}
function srand (in /usr/include/stdlib.h) srand
srand48 (a_seedval: INTEGER_64)
{}
function srand48 (in /usr/include/stdlib.h) srand48
srand48_r (a_seedval: INTEGER_64, a_buffer: POINTER): INTEGER_32
{}
function srand48_r (in /usr/include/stdlib.h) srand48_r
srandom (a_seed: NATURAL_32)
{}
function srandom (in /usr/include/stdlib.h) srandom
srandom_r (a_seed: NATURAL_32, a_buf: POINTER): INTEGER_32
{}
function srandom_r (in /usr/include/stdlib.h) srandom_r
strtod (a_nptr: POINTER, an_endptr: POINTER): REAL_64
{}
function strtod (in /usr/include/stdlib.h) strtod
strtod_l (a_nptr: POINTER, an_endptr: POINTER, a_loc: POINTER): REAL_64
{}
function strtod_l (in /usr/include/stdlib.h) strtod_l
strtof (a_nptr: POINTER, an_endptr: POINTER): REAL_32
{}
function strtof (in /usr/include/stdlib.h) strtof
strtof_l (a_nptr: POINTER, an_endptr: POINTER, a_loc: POINTER): REAL_32
{}
function strtof_l (in /usr/include/stdlib.h) strtof_l
strtol (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32): INTEGER_64
{}
function strtol (in /usr/include/stdlib.h) strtol
strtol_l (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32, a_loc: POINTER): INTEGER_64
{}
function strtol_l (in /usr/include/stdlib.h) strtol_l
strtold (a_nptr: POINTER, an_endptr: POINTER): REAL_EXTENDED
{}
function strtold (in /usr/include/stdlib.h) strtold
strtold_l (a_nptr: POINTER, an_endptr: POINTER, a_loc: POINTER): REAL_EXTENDED
{}
function strtold_l (in /usr/include/stdlib.h) strtold_l
strtoll (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32): INTEGER_64
{}
function strtoll (in /usr/include/stdlib.h) strtoll
strtoll_l (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32, a_loc: POINTER): INTEGER_64
{}
function strtoll_l (in /usr/include/stdlib.h) strtoll_l
strtoq (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32): INTEGER_64
{}
function strtoq (in /usr/include/stdlib.h) strtoq
strtoul (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32): NATURAL_64
{}
function strtoul (in /usr/include/stdlib.h) strtoul
strtoul_l (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32, a_loc: POINTER): NATURAL_64
{}
function strtoul_l (in /usr/include/stdlib.h) strtoul_l
strtoull (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32): NATURAL_64
{}
function strtoull (in /usr/include/stdlib.h) strtoull
strtoull_l (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32, a_loc: POINTER): NATURAL_64
{}
function strtoull_l (in /usr/include/stdlib.h) strtoull_l
strtouq (a_nptr: POINTER, an_endptr: POINTER, a_base: INTEGER_32): NATURAL_64
{}
function strtouq (in /usr/include/stdlib.h) strtouq
system (a_command: POINTER): INTEGER_32
{}
function system (in /usr/include/stdlib.h) system
unlockpt (a_fd: INTEGER_32): INTEGER_32
{}
function unlockpt (in /usr/include/stdlib.h) unlockpt
unsetenv (a_name: POINTER): INTEGER_32
{}
function unsetenv (in /usr/include/stdlib.h) unsetenv
valloc (a_size: NATURAL_64): POINTER
{}
function valloc (in /usr/include/stdlib.h) valloc
wcstombs (a_s: POINTER, a_pwcs: POINTER, a_n: NATURAL_64): NATURAL_64
{}
function wcstombs (in /usr/include/stdlib.h) wcstombs
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.
bcmp (a_s1: POINTER, a_s2: POINTER, a_n: NATURAL_64): INTEGER_32
{}
function bcmp (in /usr/include/string.h) bcmp
bcopy (a_src: POINTER, a_dest: POINTER, a_n: NATURAL_64)
{}
function bcopy (in /usr/include/string.h) bcopy
bzero (a_s: POINTER, a_n: NATURAL_64)
{}
function bzero (in /usr/include/string.h) bzero
ffs (an_i: INTEGER_32): INTEGER_32
{}
function ffs (in /usr/include/string.h) ffs
ffsl (a_l: INTEGER_64): INTEGER_32
{}
function ffsl (in /usr/include/string.h) ffsl
ffsll (a_ll: INTEGER_64): INTEGER_32
{}
function ffsll (in /usr/include/string.h) ffsll
memccpy (a_dest: POINTER, a_src: POINTER, a_c: INTEGER_32, a_n: NATURAL_64): POINTER
{}
function memccpy (in /usr/include/string.h) memccpy
memcmp (a_s1: POINTER, a_s2: POINTER, a_n: NATURAL_64): INTEGER_32
{}
function memcmp (in /usr/include/string.h) memcmp
memfrob (a_s: POINTER, a_n: NATURAL_64): POINTER
{}
function memfrob (in /usr/include/string.h) memfrob
memmem (a_haystack: POINTER, a_haystacklen: NATURAL_64, a_needle: POINTER, a_needlelen: NATURAL_64): POINTER
{}
function memmem (in /usr/include/string.h) memmem
memmove (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): POINTER
{}
function memmove (in /usr/include/string.h) memmove
mempcpy (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): POINTER
{}
function mempcpy (in /usr/include/string.h) mempcpy
memset (a_s: POINTER, a_c: INTEGER_32, a_n: NATURAL_64): POINTER
{}
function memset (in /usr/include/string.h) memset
stpcpy (a_dest: POINTER, a_src: POINTER): POINTER
{}
function stpcpy (in /usr/include/string.h) stpcpy
stpncpy (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): POINTER
{}
function stpncpy (in /usr/include/string.h) stpncpy
strcasecmp (a_s1: POINTER, a_s2: POINTER): INTEGER_32
{}
function strcasecmp (in /usr/include/string.h) strcasecmp
strcasecmp_l (a_s1: POINTER, a_s2: POINTER, a_loc: POINTER): INTEGER_32
{}
function strcasecmp_l (in /usr/include/string.h) strcasecmp_l
strcat (a_dest: POINTER, a_src: POINTER): POINTER
{}
function strcat (in /usr/include/string.h) strcat
strcmp (a_s1: POINTER, a_s2: POINTER): INTEGER_32
{}
function strcmp (in /usr/include/string.h) strcmp
strcoll (a_s1: POINTER, a_s2: POINTER): INTEGER_32
{}
function strcoll (in /usr/include/string.h) strcoll
strcoll_l (a_s1: POINTER, a_s2: POINTER, a_l: POINTER): INTEGER_32
{}
function strcoll_l (in /usr/include/string.h) strcoll_l
strcpy (a_dest: POINTER, a_src: POINTER): POINTER
{}
function strcpy (in /usr/include/string.h) strcpy
strcspn (a_s: POINTER, a_reject: POINTER): NATURAL_64
{}
function strcspn (in /usr/include/string.h) strcspn
strdup (a_s: POINTER): POINTER
{}
function strdup (in /usr/include/string.h) strdup
strerror (an_errnum: INTEGER_32): POINTER
{}
function strerror (in /usr/include/string.h) strerror
strerror_l (an_errnum: INTEGER_32, a_l: POINTER): POINTER
{}
function strerror_l (in /usr/include/string.h) strerror_l
strerror_r (an_errnum: INTEGER_32, a_buf: POINTER, a_buflen: NATURAL_64): POINTER
{}
function strerror_r (in /usr/include/string.h) strerror_r
strfry (a_string: POINTER): POINTER
{}
function strfry (in /usr/include/string.h) strfry
strlen (a_s: POINTER): NATURAL_64
{}
function strlen (in /usr/include/string.h) strlen
strncasecmp (a_s1: POINTER, a_s2: POINTER, a_n: NATURAL_64): INTEGER_32
{}
function strncasecmp (in /usr/include/string.h) strncasecmp
strncasecmp_l (a_s1: POINTER, a_s2: POINTER, a_n: NATURAL_64, a_loc: POINTER): INTEGER_32
{}
function strncasecmp_l (in /usr/include/string.h) strncasecmp_l
strncat (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): POINTER
{}
function strncat (in /usr/include/string.h) strncat
strncmp (a_s1: POINTER, a_s2: POINTER, a_n: NATURAL_64): INTEGER_32
{}
function strncmp (in /usr/include/string.h) strncmp
strncpy (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): POINTER
{}
function strncpy (in /usr/include/string.h) strncpy
strndup (a_string: POINTER, a_n: NATURAL_64): POINTER
{}
function strndup (in /usr/include/string.h) strndup
strnlen (a_string: POINTER, a_maxlen: NATURAL_64): NATURAL_64
{}
function strnlen (in /usr/include/string.h) strnlen
strsep (a_stringp: POINTER, a_delim: POINTER): POINTER
{}
function strsep (in /usr/include/string.h) strsep
strsignal (a_sig: INTEGER_32): POINTER
{}
function strsignal (in /usr/include/string.h) strsignal
strspn (a_s: POINTER, an_accept: POINTER): NATURAL_64
{}
function strspn (in /usr/include/string.h) strspn
strtok (a_s: POINTER, a_delim: POINTER): POINTER
{}
function strtok (in /usr/include/string.h) strtok
strtok_r (a_s: POINTER, a_delim: POINTER, a_save_ptr: POINTER): POINTER
{}
function strtok_r (in /usr/include/string.h) strtok_r
strverscmp (a_s1: POINTER, a_s2: POINTER): INTEGER_32
{}
function strverscmp (in /usr/include/string.h) strverscmp
strxfrm (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64): NATURAL_64
{}
function strxfrm (in /usr/include/string.h) strxfrm
strxfrm_l (a_dest: POINTER, a_src: POINTER, a_n: NATURAL_64, a_l: POINTER): NATURAL_64
{}
function strxfrm_l (in /usr/include/string.h) strxfrm_l
is_successful: BOOLEAN
writable attribute
{ANY}
Was last command successful?
is_unsuccessful: BOOLEAN
effective function
{ANY}
handle_return_value (a_return_value: INTEGER_32)
effective procedure
{ANY}
zmq_exception: ZMQ_EXCEPTION
effective function
{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
zmq_bind (a_s: POINTER, an_addr: POINTER): INTEGER_32
{}
function zmq_bind (in /usr/include/zmq.h) zmq_bind
zmq_close (a_s: POINTER): INTEGER_32
{}
function zmq_close (in /usr/include/zmq.h) zmq_close
zmq_connect (a_s: POINTER, an_addr: POINTER): INTEGER_32
{}
function zmq_connect (in /usr/include/zmq.h) zmq_connect
zmq_device (a_device: INTEGER_32, an_insocket: POINTER, an_outsocket: POINTER): INTEGER_32
{}
function zmq_device (in /usr/include/zmq.h) zmq_device
zmq_errno: INTEGER_32
{}
function zmq_errno (in /usr/include/zmq.h) zmq_errno
zmq_getsockopt (a_s: POINTER, an_option: INTEGER_32, an_optval: POINTER, an_optvallen: POINTER): INTEGER_32
{}
function zmq_getsockopt (in /usr/include/zmq.h) zmq_getsockopt
zmq_init (an_io_threads: INTEGER_32): POINTER
{}
function zmq_init (in /usr/include/zmq.h) zmq_init
zmq_msg_close (a_msg: POINTER): INTEGER_32
{}
function zmq_msg_close (in /usr/include/zmq.h) zmq_msg_close
zmq_msg_copy (a_dest: POINTER, a_src: POINTER): INTEGER_32
{}
function zmq_msg_copy (in /usr/include/zmq.h) zmq_msg_copy
zmq_msg_data (a_msg: POINTER): POINTER
{}
function zmq_msg_data (in /usr/include/zmq.h) zmq_msg_data
zmq_msg_init (a_msg: POINTER): INTEGER_32
{}
function zmq_msg_init (in /usr/include/zmq.h) zmq_msg_init
zmq_msg_init_data (a_msg: POINTER, a_data: POINTER, a_size: NATURAL_64, a_ffn: POINTER, a_hint: POINTER): INTEGER_32
{}
function zmq_msg_init_data (in /usr/include/zmq.h) zmq_msg_init_data
zmq_msg_init_size (a_msg: POINTER, a_size: NATURAL_64): INTEGER_32
{}
function zmq_msg_init_size (in /usr/include/zmq.h) zmq_msg_init_size
zmq_msg_move (a_dest: POINTER, a_src: POINTER): INTEGER_32
{}
function zmq_msg_move (in /usr/include/zmq.h) zmq_msg_move
zmq_msg_size (a_msg: POINTER): NATURAL_64
{}
function zmq_msg_size (in /usr/include/zmq.h) zmq_msg_size
zmq_poll (an_items: POINTER, a_nitems: INTEGER_32, a_timeout: INTEGER_64): INTEGER_32
{}
function zmq_poll (in /usr/include/zmq.h) zmq_poll
zmq_recv (a_s: POINTER, a_msg: POINTER, a_flags: INTEGER_32): INTEGER_32
{}
function zmq_recv (in /usr/include/zmq.h) zmq_recv
zmq_send (a_s: POINTER, a_msg: POINTER, a_flags: INTEGER_32): INTEGER_32
{}
function zmq_send (in /usr/include/zmq.h) zmq_send
zmq_setsockopt (a_s: POINTER, an_option: INTEGER_32, an_optval: POINTER, an_optvallen: NATURAL_64): INTEGER_32
{}
function zmq_setsockopt (in /usr/include/zmq.h) zmq_setsockopt
zmq_socket (a_context: POINTER, a_type: INTEGER_32): POINTER
{}
function zmq_socket (in /usr/include/zmq.h) zmq_socket
zmq_strerror (an_errnum: INTEGER_32): POINTER
{}
function zmq_strerror (in /usr/include/zmq.h) zmq_strerror
zmq_term (a_context: POINTER): INTEGER_32
{}
function zmq_term (in /usr/include/zmq.h) zmq_term
zmq_version (a_major: POINTER, a_minor: POINTER, a_patch: POINTER)
{}
function zmq_version (in /usr/include/zmq.h) zmq_version
zmq_msg_t_struct_set_content (a_structure: POINTER, a_value: POINTER)
{}
Setter for content field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_set_flags (a_structure: POINTER, a_value: CHARACTER)
{}
Setter for flags field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_set_vsm_size (a_structure: POINTER, a_value: CHARACTER)
{}
Setter for vsm_size field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_set_vsm_data (a_structure: POINTER, a_value: POINTER)
{}
Setter for vsm_data field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_get_content (a_structure: POINTER): POINTER
{}
Query for content field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_get_flags (a_structure: POINTER): CHARACTER
{}
Query for flags field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_get_vsm_size (a_structure: POINTER): CHARACTER
{}
Query for vsm_size field of ZMQ_MSG_T_STRUCT structure.
zmq_msg_t_struct_get_vsm_data (a_structure: POINTER): POINTER
{}
Query for vsm_data field of ZMQ_MSG_T_STRUCT structure.
writable attribute
The place where characters are stored.
storage_lower: INTEGER_32
writable attribute
The index of the first character of storage effectively used.
count: INTEGER_32
writable attribute
{ANY}
Number of available items in the hoard.
capacity: INTEGER_32
writable attribute
{ANY}
Capacity of the storage area.
item (i: INTEGER_32): CHARACTER
effective function
{ANY}
Character at position i.
same_as (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Case insensitive is_equal.
index_of (c: CHARACTER, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
Using is_equal for comparison, gives the index of the first occurrence of element at or after start_index.
fast_index_of (c: CHARACTER, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
Using basic = for comparison, gives the index of the first occurrence of element at or after start_index.
reverse_index_of (c: CHARACTER, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
Index of first occurrence of c at or before start_index, The index will be invalid, smaller than lower when no occurrence is found; The search is done in reverse direction, which means from the start_index down to the first character.
fast_reverse_index_of (c: CHARACTER, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
Index of first occurrence of c at or before start_index, The index will be invalid, smaller than lower when no occurrence is found; The search is done in reverse direction, which means from the start_index down to the first character.
has (c: CHARACTER): BOOLEAN
effective function
{ANY}
Look for x using is_equal for comparison.
fast_has (c: CHARACTER): BOOLEAN
effective function
{ANY}
Look for x using basic = for comparison.
occurrences (c: CHARACTER): INTEGER_32
effective function
{ANY}
Number of times character c appears in the string.
infix "&" (another: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{ANY}
Current and another concatenating into a new object.
first: CHARACTER
effective function
{ANY}
Access to the very first character.
last: CHARACTER
effective function
{ANY}
Access to the very last character.
fill_tagged_out_memory
effective procedure
{ANY}
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
print_on (file: OUTPUT_STREAM)
effective procedure
{ANY}
Default printing of current object on a file.
set_count (new_count: INTEGER_32)
effective procedure
set_storage (new_storage: NATIVE_ARRAY[CHARACTER], new_capacity: INTEGER_32)
effective procedure
copy_slice_to_native (start_index: INTEGER_32, end_index: INTEGER_32, target: NATIVE_ARRAY[CHARACTER], target_offset: INTEGER_32)
effective procedure
check_set_storage_signature: BOOLEAN
effective function
{}
has_storage_signature: BOOLEAN
writable attribute
check_valid_storage_signature: BOOLEAN
effective function
check_can_have_storage_signature: BOOLEAN
effective function
storage_signature_count: INTEGER_32
writable attribute
lower: INTEGER_32
is 1
constant attribute
{ANY}
Minimum index; actually, this is always 1 (this feature here to mimic the one of the COLLECTION hierarchy).
upper: INTEGER_32
effective function
{ANY}
Maximum index; actually the same value as count (this feature is here to mimic the one of the COLLECTION hierarchy).
is_empty: BOOLEAN
effective function
{ANY}
Has string length 0?
infix "@" (i: INTEGER_32): CHARACTER
frozen
effective function
{ANY}
The infix notation which is actually just a synonym for item.
infix "^" (a_range: INTEGER_RANGE[INTEGER_32]): ABSTRACT_STRING
effective function
{ANY}
Substring of items in a_range .
infix "<" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current less than other?
infix "<=" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current less than or equal other?
infix ">" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current strictly greater than other?
infix ">=" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current greater than or equal than other?
compare (other: ABSTRACT_STRING): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: ABSTRACT_STRING): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
item_code (i: INTEGER_32): INTEGER_32
effective function
{ANY}
Code of character at position i.
first_index_of (c: CHARACTER): INTEGER_32
effective function
{ANY}
Index of first occurrence of c, upper` + 1 if none. See also `last_index_of, index_of, reverse_index_of.
fast_first_index_of (c: CHARACTER): INTEGER_32
effective function
{ANY}
Index of first occurrence of c, upper` + 1 if none. See also `last_index_of, index_of, reverse_index_of.
last_index_of (c: CHARACTER): INTEGER_32
effective function
{ANY}
Index of last occurrence of c, lower` - 1 if none. See also `first_index_of, reverse_index_of, index_of.
fast_last_index_of (c: CHARACTER): INTEGER_32
effective function
{ANY}
Index of last occurrence of c, lower` - 1 if none. See also `first_index_of, reverse_index_of, index_of.
has_substring (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if Current contains other.
has_suffix (s: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if suffix of Current is s.
has_prefix (p: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if prefix of Current is p.
is_ascii: BOOLEAN
effective function
{ANY}
Is Current only made of (7 bit) ASCII characters?
is_boolean: BOOLEAN
effective function
{ANY}
Does Current represent a BOOLEAN?
to_boolean: BOOLEAN
effective function
{ANY}
Boolean value "True" yields True, "False" yields False (what a surprise).
is_integer: BOOLEAN
effective function
{ANY}
Does 'Current' represent an INTEGER?
to_integer: INTEGER_32
effective function
{ANY}
Current must look like an INTEGER.
is_integer_64: BOOLEAN
effective function
{ANY}
Does 'Current' represent an INTEGER_64?
to_integer_64: INTEGER_64
effective function
{ANY}
Current must look like an INTEGER_64.
is_real: BOOLEAN
effective function
{ANY}
Can contents be read as a REAL ? Fails for numbers where the base or "10 ^ exponent" are not in the range Minimum_real ...
to_real: REAL_64
effective function
{ANY}
Conversion to the corresponding REAL value.
is_number: BOOLEAN
effective function
{ANY}
Can contents be read as a NUMBER?
to_number: NUMBER
effective function
{ANY}
Current must looks like an INTEGER.
is_bit: BOOLEAN
effective function
{ANY}
True when the contents is a sequence of bits (i.e., mixed characters 0 and characters 1).
binary_to_integer: INTEGER_32
effective function
{ANY}
Assume there is enough space in the INTEGER to store the corresponding decimal value.
infix "+" (other: ABSTRACT_STRING): STRING
effective function
{ANY}
Create a new STRING which is the concatenation of Current and other.
infix "|" (other: ABSTRACT_STRING): ROPE
effective function
{ANY}
Current and other concatenated into a new ROPE, an ABSTRACT_STRING that can be efficiently concatenated.
arg (an_index: INTEGER_32, a_value: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{ANY}
A copy of Current with the placeholder "#(an_index)" is replaced (if present) with the content of a_value.
infix "#" (a_value: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{ANY}
A copy of Current with a placeholder "#(n)" is replaced with the content of a_value.
as_lower: STRING
effective function
{ANY}
New object with all letters in lower case.
as_upper: STRING
effective function
{ANY}
New object with all letters in upper case.
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
replacing (an_old: ABSTRACT_STRING, a_new: ABSTRACT_STRING): STRING
effective function
{ANY}
Current with all occurrences of an_old string replaced with a_new.
replacing_in (an_old: ABSTRACT_STRING, a_new: ABSTRACT_STRING, buffer: STRING)
effective procedure
{ANY}
Current with all occurrences of an_old string replaced with a_new in buffer.
substring_index (other: ABSTRACT_STRING, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
Position of first occurrence of other at or after start_index.
first_substring_index (other: ABSTRACT_STRING): INTEGER_32
effective function
{ANY}
Position of first occurrence of other at or after 1, 0 if none.
split: ARRAY[STRING]
effective function
{ANY}
Split the string into an array of words.
split_in (words: COLLECTION[STRING])
effective procedure
{ANY}
Same jobs as split but result is appended in words.
new_iterator: ITERATOR[CHARACTER]
effective function
{ANY}
same_string (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
(Here for ELKS compatibility.)
string: STRING
effective function
{ANY}
(Here for ELKS compatibility.)
string_buffer: STRING
once function
{}
Private, temporary once buffer.
split_buffer: ARRAY[STRING]
once function
{}
computed_hash_code: INTEGER_32
effective function
{}
once function
{}
Key: hash_code Item: interned string
always_print_state: INTEGER_32
is -1
constant attribute
{}
normal_state: INTEGER_32
is 0
constant attribute
{}
after_delimiter_state: INTEGER_32
is 1
constant attribute
{}
after_brace_state: INTEGER_32
is 2
constant attribute
{}
Please note that we picked the same values used in MESSAGE_FORMATTER.
debug_string: STRING
writable attribute
{}
only used to display the content of the FIXED_STRING in the trace stack
in_range (lower: ZMQ_STRING_MESSAGE, upper: ZMQ_STRING_MESSAGE): BOOLEAN
effective function
{ANY}
Return True if Current is in range [lower..upper]
See also min, max, compare.
min (other: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
effective function
{ANY}
Minimum of Current and other.
max (other: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
effective function
{ANY}
Maximum of Current and other.
bounded_by (a_min: ZMQ_STRING_MESSAGE, a_max: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
effective function
{ANY}
A value that is equal to Current if it is between the limits set by a_min and a_max.
enumerate: ENUMERATE[E_]
effective function
{ANY}
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
Aggregate all the elements starting from the initial value.
generation: INTEGER_32
writable attribute
{ANY}
next_generation
effective procedure
{}
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
True when i is valid (i.e., inside actual bounds).
Maximum_character_code: INTEGER_16
{}
Largest supported code for CHARACTER values.
Maximum_integer_8: INTEGER_8
is 127
constant attribute
{}
Largest supported value of type INTEGER_8.
Maximum_integer_16: INTEGER_16
is 32767
constant attribute
{}
Largest supported value of type INTEGER_16.
Maximum_integer: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_32: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_64: INTEGER_64
is 9223372036854775807
constant attribute
{}
Largest supported value of type INTEGER_64.
Maximum_real_32: REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL_32.
Maximum_real: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_64: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_80: REAL_EXTENDED
{}
Largest supported value of type REAL_80.
Minimum_character_code: INTEGER_16
{}
Smallest supported code for CHARACTER values.
Minimum_integer_8: INTEGER_8
is -128
constant attribute
{}
Smallest supported value of type INTEGER_8.
Minimum_integer_16: INTEGER_16
is -32768
constant attribute
{}
Smallest supported value of type INTEGER_16.
Minimum_integer: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_32: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_64: INTEGER_64
is -9223372036854775808
constant attribute
{}
Smallest supported value of type INTEGER_64.
Minimum_real_32: REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.
Minimum_real: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_64: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_80: REAL_64
{}
Smallest supported value of type REAL_80.
Boolean_bits: INTEGER_32
{}
Number of bits in a value of type BOOLEAN.
Character_bits: INTEGER_32
{}
Number of bits in a value of type CHARACTER.
Integer_bits: INTEGER_32
{}
Number of bits in a value of type INTEGER.
Real_bits: INTEGER_32
is 64
constant attribute
{}
Number of bits in a value of type REAL.
Pointer_bits: INTEGER_32
{}
Number of bits in a value of type POINTER.