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
{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 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.
Actually the message will be built using the intern of a_string. This allows proper and optimal memory handling minimizing data copy.
require
  • a_string /= Void
update
effective procedure
{ANY}
Do whatever is needed to update the status of Current.
Used by receive commands of a ZMQ_RECEIVING_SOCKET. For example a ZMQ_STRING_MESSAGE will look for its actual lenght after being received.
ensure_capacity (needed_capacity: INTEGER_32)
effective procedure
{ANY}
require
  • needed_capacity >= 0
ensure
  • capacity >= needed_capacity
hash_code: INTEGER_32
effective function
{ANY}
The hash-code value of Current.
ensure
  • good_hash_value: Result >= 0
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.
A NATIVELY_STORED_STRING implementation usually gives direct access to its internal storage (may be dangerous). Other non-natively stored heirs provide access to an Eiffel-owned buffer containing a copy of its content. To be compatible with C, a null character is added at the end of the internal storage. This extra null character is not part of the Eiffel STRING.
ensure
  • count = old count
  • Result.is_not_null
intern: FIXED_STRING
effective function
{ANY}
A shared version of this string.
ensure
  • Result /= Void
  • Result.is_equal(Current)
  • Result.is_interned
  • interned.fast_has(Result.hash_code) and then interned.fast_reference_at(Result.hash_code).fast_has(Result)
substring (start_index: INTEGER_32, end_index: INTEGER_32): ZMQ_STRING_MESSAGE
effective function
{ANY}
New string consisting of items [start_index.. end_index].
See also substring_index and copy_substring to save memory.
require
  • valid_start_index: lower <= start_index
  • valid_end_index: end_index <= upper
  • meaningful_interval: start_index <= end_index + 1
ensure
  • substring_count: Result.count = end_index - start_index + 1
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.
The implementation chooses whether it is more efficient to store message content on the stack (small messages) or on the heap (large messages). TODO: a_size: like size_t
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.
Memory is allocated but NOT set to zero. This may not be what you want. See implementation
ensure
  • memory_allocated: handle.is_not_null
copy (other: ZMQ_STRING_MESSAGE)
effective procedure
{ANY}
require
      • not immutable
      • same_dynamic_type(other)
      • not immutable
      • same_dynamic_type(other)
    • not immutable
    • same_dynamic_type(other)
ensure
  • is_equal(other)
is_equal (another: ZMQ_STRING_MESSAGE): BOOLEAN
effective function
{ANY}
require
      • another /= Void
      • another /= Void
    • another /= Void
ensure
  • commutative: generating_type = another.generating_type implies Result = another.is_equal(Current)
struct_size: NATURAL_64
deferred function
{}
free_handle
effective procedure
release the external memory
from_external_pointer (a_ptr: POINTER)
effective procedure
ensure
set_handle (a_ptr: POINTER)
effective procedure
Set a non-null handle.
Raises an No_more_memory exception if a_ptr.is_null. Use this, if you want to check the result of some external allocation function.
ensure
handle: POINTER
writable attribute
Pointer to the underlying C "thing" (i.e. a struct)
reference: POINTER
effective function
The address of handle.
Usuful to be passed to C functions that asks for pointer to pointer to struct (i.e. "GError **error")
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
ensure
  • definition: Result = default_pointer or else a_wrapper /= Void and then Result = a_wrapper.handle
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.
The memory area may be the internal buffer of a_string or a newly allocated one.
ensure
  • definition: Result = default_pointer or a_string /= Void implies Result = a_string.to_external
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
ensure
  • definition: a_collection = Void implies Result.is_null and a_collection /= Void implies Result.is_not_null
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.
TODO: avoid creating a new array whenever possible.
require
  • a_collection /= Void
  • not a_collection.is_empty
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.
See also: raise, throw
Incorrect_inspect_value: INTEGER_32
is 4
constant attribute
{ANY}
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 r
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.
require
developer_exception_name: STRING
effective function
{ANY}
Name of last developer-raised exception.
require
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.
require
  • name /= Void
throw (a_exception: EXCEPTION)
effective procedure
{ANY}
require
  • a_exception /= Void
signal_number: INTEGER_32
{ANY}
Signal Number received from OS.
 Zero if exception is not an OS signal.
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 **).
Note: the type cannot be checked by Eiffel AFAIK. Paolo 2006-05-08q.
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.
The actual C type must be "char**" String contents and array itself are copied.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint8_t: CHARACTER
effective function
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
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
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
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int8_t: CHARACTER
effective function
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
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
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
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
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
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
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
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.
TODO: setter description
zmq_msg_t_struct_set_flags (a_structure: POINTER, a_value: CHARACTER)
{}
Setter for flags field of ZMQ_MSG_T_STRUCT structure.
TODO: setter description
zmq_msg_t_struct_set_vsm_size (a_structure: POINTER, a_value: CHARACTER)
{}
Setter for vsm_size field of ZMQ_MSG_T_STRUCT structure.
TODO: setter description
zmq_msg_t_struct_set_vsm_data (a_structure: POINTER, a_value: POINTER)
{}
Setter for vsm_data field of ZMQ_MSG_T_STRUCT structure.
TODO: setter description
zmq_msg_t_struct_get_content (a_structure: POINTER): POINTER
{}
Query for content field of ZMQ_MSG_T_STRUCT structure.
TODO: getter description
zmq_msg_t_struct_get_flags (a_structure: POINTER): CHARACTER
{}
Query for flags field of ZMQ_MSG_T_STRUCT structure.
TODO: getter description
zmq_msg_t_struct_get_vsm_size (a_structure: POINTER): CHARACTER
{}
Query for vsm_size field of ZMQ_MSG_T_STRUCT structure.
TODO: getter description
zmq_msg_t_struct_get_vsm_data (a_structure: POINTER): POINTER
{}
Query for vsm_data field of ZMQ_MSG_T_STRUCT structure.
TODO: getter description
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.
See also is_empty
ensure
  • Result >= 0
capacity: INTEGER_32
writable attribute
{ANY}
Capacity of the storage area.
item (i: INTEGER_32): CHARACTER
effective function
{ANY}
Character at position i.
See also lower, upper, valid_index, put.
require
    • valid_index(i)
    • valid_index(i)
same_as (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Case insensitive is_equal.
require
  • other /= Void
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.
Return upper + 1 if the search for element failed.
See also fast_index_of, reverse_index_of, first_index_of.
ensure
  • Result.in_range(start_index, upper + 1)
  • valid_index(Result) implies (create {SAFE_EQUAL}).test(c, item(Result))
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.
Answer upper + 1 when element when the search fail.
See also index_of, fast_reverse_index_of, fast_first_index_of.
ensure
  • Result.in_range(start_index, upper + 1)
  • valid_index(Result) implies c = item(Result)
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.
require
  • valid_index(start_index)
ensure
  • Result.in_range(lower - 1, start_index)
  • valid_index(Result) implies item(Result).is_equal(c)
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.
require
  • valid_index(start_index)
ensure
  • Result.in_range(lower - 1, start_index)
  • valid_index(Result) implies item(Result) = c
has (c: CHARACTER): BOOLEAN
effective function
{ANY}
Look for x using is_equal for comparison.
ensure
  • definition: Result = valid_index(first_index_of(c))
fast_has (c: CHARACTER): BOOLEAN
effective function
{ANY}
Look for x using basic = for comparison.
See also has, fast_index_of, index_of.
ensure
  • definition: Result = valid_index(fast_first_index_of(c))
occurrences (c: CHARACTER): INTEGER_32
effective function
{ANY}
Number of times character c appears in the string.
See also remove_all_occurrences, has.
ensure
  • Result >= 0
infix "&" (another: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{ANY}
Current and another concatenating into a new object.
The actual effective type of Result chosen by the implementation, possibly based on heuristics.
require
  • other_exists: another /= Void
ensure
  • Result.out.is_equal(Current + another)
first: CHARACTER
effective function
{ANY}
Access to the very first character.
See also last, item.
require
    • not is_empty
    • not is_empty
ensure
  • definition: Result = item(lower)
last: CHARACTER
effective function
{ANY}
Access to the very last character.
See also first, item.
require
    • not is_empty
    • not is_empty
ensure
  • definition: Result = item(upper)
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.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
print_on (file: OUTPUT_STREAM)
effective procedure
{ANY}
Default printing of current object on a file.
One may redefine fill_tagged_out_memory or out_in_tagged_out_memory to adapt the behavior of print_on.
require
    • file.is_connected
    • file.is_connected
set_count (new_count: INTEGER_32)
effective procedure
require ensure
set_storage (new_storage: NATIVE_ARRAY[CHARACTER], new_capacity: INTEGER_32)
effective procedure
require ensure
copy_slice_to_native (start_index: INTEGER_32, end_index: INTEGER_32, target: NATIVE_ARRAY[CHARACTER], target_offset: INTEGER_32)
effective procedure
require
  • start_index >= lower
  • end_index <= upper
  • start_index <= end_index
check_set_storage_signature: BOOLEAN
effective function
{}
require ensure
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).
See also upper, valid_index, item.
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).
See also lower, valid_index, item.
ensure
is_empty: BOOLEAN
effective function
{ANY}
Has string length 0?
See also count.
ensure
  • definition: Result = count = 0
infix "@" (i: INTEGER_32): CHARACTER
frozen
effective function
{ANY}
The infix notation which is actually just a synonym for item.
See also item, put.
require ensure
  • definition: Result = item(i)
infix "^" (a_range: INTEGER_RANGE[INTEGER_32]): ABSTRACT_STRING
effective function
{ANY}
Substring of items in a_range .
require ensure
  • Result.count = a_range.count
  • has_substring(Result)
    This is the same of writing "substring_index(Result,lower)=a_range.lower"

infix "<" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current less than other?
See also >, <=, >=, min, max.
require
  • other_exists: other /= Void
ensure
  • asymmetric: Result implies not other < Current
infix "<=" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current less than or equal other?
See also >=, <, >, min, max.
require
  • other_exists: other /= Void
ensure
  • definition: Result = Current < other or is_equal(other)
infix ">" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current strictly greater than other?
See also <, >=, <=, min, max.
require
  • other_exists: other /= Void
ensure
  • definition: Result = other < Current
infix ">=" (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
Is Current greater than or equal than other?
See also <=, >, <, min, max.
require
  • other_exists: other /= Void
ensure
  • definition: Result = other <= Current
compare (other: ABSTRACT_STRING): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
See also min, max, in_range.
require
  • other_exists: other /= Void
ensure
  • equal_zero: Result = 0 = is_equal(other)
  • smaller_negative: Result = -1 = Current < other
  • greater_positive: Result = 1 = Current > other
three_way_comparison (other: ABSTRACT_STRING): INTEGER_32
effective function
{ANY}
If current object equal to other, 0 if smaller, -1; if greater, 1.
See also min, max, in_range.
require
  • other_exists: other /= Void
ensure
  • equal_zero: Result = 0 = is_equal(other)
  • smaller_negative: Result = -1 = Current < other
  • greater_positive: Result = 1 = Current > other
item_code (i: INTEGER_32): INTEGER_32
effective function
{ANY}
Code of character at position i.
See also item.
require ensure
  • definition: Result = item(i).code
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.
ensure
  • definition: Result = index_of(c, lower)
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.
ensure
  • definition: Result = fast_index_of(c, lower)
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.
ensure
  • definition: Result = reverse_index_of(c, upper)
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.
ensure
  • definition: Result = fast_reverse_index_of(c, upper)
has_substring (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if Current contains other.
See also substring_index, has.
require
  • other_not_void: other /= Void
has_suffix (s: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if suffix of Current is s.
See also remove_suffix, has_prefix, has_substring.
require
  • s /= Void
has_prefix (p: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if prefix of Current is p.
See also remove_prefix, has_suffix, has_substring.
require
  • p /= Void
is_ascii: BOOLEAN
effective function
{ANY}
Is Current only made of (7 bit) ASCII characters?
ensure
is_boolean: BOOLEAN
effective function
{ANY}
Does Current represent a BOOLEAN?
Valid BOOLEANs are "True" and "False".
to_boolean: BOOLEAN
effective function
{ANY}
Boolean value "True" yields True, "False" yields False (what a surprise).
require
is_integer: BOOLEAN
effective function
{ANY}
Does 'Current' represent an INTEGER?
Result is True if and only if the following two conditions hold:
1. In the following BNF grammar, the value of Current can be produced by "Integer_literal", if leading and trailing separators are ignored:
Integer_literal = [Sign] Integer Sign = "+" | "-" Integer = Digit | Digit Integer Digit = "0"|"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"
2. The numerical value represented by Current is within the range that can be represented by an instance of type INTEGER.
to_integer: INTEGER_32
effective function
{ANY}
Current must look like an INTEGER.
require
is_integer_64: BOOLEAN
effective function
{ANY}
Does 'Current' represent an INTEGER_64?
Result is True if and only if the following two conditions hold:
1. In the following BNF grammar, the value of Current can be produced by "Integer_literal", if leading and trailing separators are ignored:
Integer_literal = [Sign] Integer Sign = "+" | "-" Integer = Digit | Digit Integer Digit = "0"|"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"
2. The numerical value represented by Current is within the range that can be represented by an instance of type INTEGER_64.
to_integer_64: INTEGER_64
effective function
{ANY}
Current must look like an INTEGER_64.
require
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 ...
Maximum_real. Parsing is done positive. That means if Minimum_real.abs is not equal to Maximum_real it will not work correctly. Furthermore the arithmetic package used must support the value 'inf' for a number greater than Maximum_real. Result is True if and only if the following two conditions hold:
1. In the following BNF grammar, the value of Current can be produced by "Real_literal", if leading or trailing separators are ignored.
Real_literal = Mantissa [Exponent_part] Exponent_part = "E" Exponent
                | "e" Exponent
Exponent        = Integer_literal
Mantissa        = Decimal_literal
Decimal_literal = Integer_literal ["." Integer]
Integer_literal = [Sign] Integer
Sign            = "+" | "-"
Integer         = Digit | Digit Integer
Digit           = "0"|"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"
2. The numerical value represented by Current is within the range that can be represented by an instance of type REAL.
to_real: REAL_64
effective function
{ANY}
Conversion to the corresponding REAL value.
The string must looks like a REAL (or like an INTEGER because the fractional part is optional). For an exact definition see 'is_real'. Note that this conversion might not be exact.
require
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.
require
is_bit: BOOLEAN
effective function
{ANY}
True when the contents is a sequence of bits (i.e., mixed characters 0 and characters 1).
ensure
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.
See also append.
require
  • other_exists: other /= Void
ensure
infix "|" (other: ABSTRACT_STRING): ROPE
effective function
{ANY}
Current and other concatenated into a new ROPE, an ABSTRACT_STRING that can be efficiently concatenated.
require
  • other_exists: other /= Void
ensure
  • Result.out.is_equal(Current + other)
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.
ensure
infix "#" (a_value: ABSTRACT_STRING): ABSTRACT_STRING
effective function
{ANY}
A copy of Current with the placeholder "#(n)" with the lowest n replaced with the content of a_value.
A chain of # queries will progressively replace placeholder 1, 2 ...
For example a_string#"foo"#"bar"#"maman" is equivalent to a_string.arg(1,"foo").arg(2,"bar").arg(3,"maman")
See also arg.
as_lower: STRING
effective function
{ANY}
New object with all letters in lower case.
See also as_upper, to_lower, to_upper.
as_upper: STRING
effective function
{ANY}
New object with all letters in upper case.
See also as_lower, to_upper, to_lower.
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
require
    • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
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.
require ensure
  • Result /= Current
  • not Result.valid_index(Result.first_substring_index(an_old))
  • Result.first_substring_index(a_new) = first_substring_index(an_old)
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.
require
  • not an_old.is_empty
  • a_new /= Void
  • buffer /= Current
ensure
  • not buffer.valid_index(buffer.substring_index(an_old, old buffer.upper + buffer.lower))
  • buffer.substring_index(a_new, old buffer.upper + buffer.lower) = old buffer.upper + first_substring_index(an_old)
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.
If there is no occurrence Result will be an invalid index, usually 0 when lower is 1.
See also substring, first_substring_index.
require
  • other_not_void: other /= Void
  • valid_start_index: start_index >= lower and start_index <= upper + 1
first_substring_index (other: ABSTRACT_STRING): INTEGER_32
effective function
{ANY}
Position of first occurrence of other at or after 1, 0 if none.
See also substring_index.
require
  • other_not_void: other /= Void
ensure
split: ARRAY[STRING]
effective function
{ANY}
Split the string into an array of words.
Uses is_separator of CHARACTER to find words. Gives Void or a non empty array.
See also split_in.
ensure
  • Result /= Void implies not Result.is_empty
split_in (words: COLLECTION[STRING])
effective procedure
{ANY}
Same jobs as split but result is appended in words.
See also split.
require
  • words /= Void
ensure
  • words.count >= old words.count
new_iterator: ITERATOR[CHARACTER]
effective function
{ANY}
ensure
  • Result /= Void
  • Result.generation = generation
same_string (other: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
(Here for ELKS compatibility.)
Do Current and other have the same character sequence? Useful in proper descendants of STRING.
require
  • other_not_void: other /= Void
string: STRING
effective function
{ANY}
(Here for ELKS compatibility.)
New STRING having the same character sequence as Current. Useful in proper descendants of STRING.
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.
It may also be written like "always_print_state, normal_state, after_delimiter_state, after_brace_state: INTEGER is unique" but I'm not sure that the compiler will actually choose sequential values necessary in the last if tense in the arg query
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.
ensure
  • Result = Current >= lower and Current <= upper
min (other: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
effective function
{ANY}
Minimum of Current and other.
See also max, in_range.
require
  • other /= Void
ensure
  • Result <= Current and then Result <= other
  • compare(Result) = 0 or else other.compare(Result) = 0
max (other: ZMQ_STRING_MESSAGE): ZMQ_STRING_MESSAGE
effective function
{ANY}
Maximum of Current and other.
See also min, in_range.
require
  • other /= Void
ensure
  • Result >= Current and then Result >= other
  • compare(Result) = 0 or else other.compare(Result) = 0
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.
Otherwise it's a_min if Current is smaller or a_max if Current is greater It's a shortcut for Current.min(a_max).max(a_min) also known as "clamp" in the widespread C library Glib
ensure
  • correctness: Result.in_range(a_min, a_max)
enumerate: ENUMERATE[E_]
effective function
{ANY}
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
This feature is obsolete: Use `new_iterator' instead. This historical SmartEiffel feature is badly named.
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
Apply action to every item of Current.
See also for_all, exists, aggregate.
require
  • action /= Void
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Do all items satisfy test?
See also for_each, exists, aggregate.
require
  • test /= Void
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Does at least one item satisfy test?
See also for_each, for_all, aggregate.
require
  • test /= Void
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
Aggregate all the elements starting from the initial value.
See also for_each, for_all, exists.
require
  • action /= Void
generation: INTEGER_32
writable attribute
{ANY}
next_generation
effective procedure
{}
ensure
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
Apply action to every item of Current.
This feature is obsolete: Use `for_each` instead. This feature is not secure because it accepts a FUNCTION, the result of which is lost.
_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).
See also lower, upper, item.
ensure
Maximum_character_code: INTEGER_16
{}
Largest supported code for CHARACTER values.
ensure
  • meaningful: Result >= 127
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.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_64: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_80: REAL_EXTENDED
{}
Largest supported value of type REAL_80.
ensure
Minimum_character_code: INTEGER_16
{}
Smallest supported code for CHARACTER values.
ensure
  • meaningful: Result <= 0
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.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_64: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_80: REAL_64
{}
Smallest supported value of type REAL_80.
ensure
  • meaningful: Result <= 0.0
Boolean_bits: INTEGER_32
{}
Number of bits in a value of type BOOLEAN.
ensure
  • meaningful: Result >= 1
Character_bits: INTEGER_32
{}
Number of bits in a value of type CHARACTER.
ensure
Integer_bits: INTEGER_32
{}
Number of bits in a value of type INTEGER.
ensure
  • integer_definition: Result = 32
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.