+
Point of view
All features
class SQLITE_RESULT_ROW
Summary
top
copyright
(C) 2006,2016 Paolo Redaelli
license
LGPL v2 or later
date
$Date:$
revision
$Revision:$
Direct parents
Inherit list: FAST_ARRAY, RESULT_ROW
Insert list: EXCEPTIONS, SQLITE3_EXTERNALS, SQLITE_ERROR_CODES
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
  • out: STRING
    Create a new string containing terse printable representation of current object.
{ANY}
Other features:
{ANY}
Agent-based features:
{ANY}
Printing:
{ANY}
{ANY}
{}
Counting:
{ANY}
Agent-based features:
{ANY}
{}
Indexing:
{ANY}
Accessing:
{ANY}
Creation and modification:
{ANY}
Modification:
{ANY}
Implementation of deferred:
{ANY}
Garbage collector tuning (very low-level):
{}
  • mark_native_arrays
    For performance reasons, the unused area of storage is always left as it is when some elements are removed.
Implement manifest generic creation (very low-level):
{}
Accessing:
{ANY}
Writing:
{ANY}
Adding:
{ANY}
Removing:
{ANY}
Looking and Searching:
{ANY}
Looking and comparison:
{ANY}
Other features:
{ANY}
Implement manifest generic creation:
{}
{ARRAYED_COLLECTION, ARRAYED_COLLECTION_HANDLER}
{ANY}
Interfacing with C:
{ANY}
{ARRAYED_COLLECTION}
{}
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.
Result codes
{}
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}
{}
out: STRING
effective function
{ANY}
top
Create a new string containing terse printable representation of current object.
enumerate: ENUMERATE[E_]
effective function
{ANY}
top
new_iterator: ITERATOR[E_]
deferred function
{ANY}
top
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
top
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
top
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
top
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
top
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
top
Aggregate all the elements starting from the initial value.
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
generation: INTEGER_32
writable attribute
{ANY}
top
next_generation
effective procedure
{}
top
count: INTEGER_32
deferred function
{ANY}
top
Number of available items in the hoard.
is_empty: BOOLEAN
deferred function
{ANY}
top
Is the hoard empty ?
See also count.
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
top
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
top
lower: INTEGER_32
deferred function
{ANY}
top
Minimum index.
upper: INTEGER_32
deferred function
{ANY}
top
Maximum index.
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
top
True when i is valid (i.e., inside actual bounds).
item (i: INTEGER_32): E_
deferred function
{ANY}
top
Item at the corresponding index i.
first: E_
deferred function
{ANY}
top
The very first item.
last: E_
deferred function
{ANY}
top
The last item.
default_create
effective procedure
{ANY}
top
Create a new with empty FAST_ARRAY with capacity 32.
make (new_count: INTEGER_32)
effective procedure
{ANY}
top
Make array with range [0 .. new_count - 1].
with_capacity (needed_capacity: INTEGER_32)
effective procedure
{ANY}
top
Create an empty array with at least needed_capacity.
resize (new_count: INTEGER_32)
effective procedure
{ANY}
top
Resize the array.
put (element: E_, i: INTEGER_32)
effective procedure
{ANY}
top
Make element the item at index i.
add_first (element: E_)
effective procedure
{ANY}
top
Add a new item in first position : count is increased by one and all other items are shifted right.
add_last (element: E_)
effective procedure
{ANY}
top
Add a new item at the end : count is increased by one.
clear_count
effective procedure
{ANY}
top
Discard all items (is_empty is True after that call).
clear_count_and_capacity
effective procedure
{ANY}
top
Discard all items (is_empty is True after that call).
copy (other: SQLITE_RESULT_ROW)
effective procedure
{ANY}
top
Copy other onto Current.
set_all_with (v: E_)
effective procedure
{ANY}
top
Set all items with value v.
from_collection (model: TRAVERSABLE[E_])
effective procedure
{ANY}
top
Initialize the current object with the contents of model.
fast_is_equal (other: SQLITE_RESULT_ROW): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
is_equal (other: SQLITE_RESULT_ROW): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
all_default: BOOLEAN
effective function
{ANY}
top
Do all items have their type's default value?
occurrences (element: E_): INTEGER_32
effective function
{ANY}
top
Number of occurrences of element using is_equal for comparison.
fast_occurrences (element: E_): INTEGER_32
effective function
{ANY}
top
Number of occurrences of element using basic = for comparison.
first_index_of (element: E_): INTEGER_32
effective function
{ANY}
top
Give the index of the first occurrence of element using is_equal for comparison.
index_of (element: E_, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
top
Using is_equal for comparison, gives the index of the first occurrence of element at or after start_index.
reverse_index_of (element: E_, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
top
Using is_equal for comparison, gives the index of the first occurrence of element at or before start_index.
fast_first_index_of (element: E_): INTEGER_32
effective function
{ANY}
top
Give the index of the first occurrence of element using basic = for comparison.
fast_index_of (element: E_, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
top
Using basic = for comparison, gives the index of the first occurrence of element at or after start_index.
fast_reverse_index_of (element: E_, start_index: INTEGER_32): INTEGER_32
effective function
{ANY}
top
Using basic = comparison, gives the index of the first occurrence of element at or before start_index.
subarray (min: INTEGER_32, max: INTEGER_32): SQLITE_RESULT_ROW
effective function
{ANY}
top
New collection consisting of items at indexes in [min .. max].
slice (min: INTEGER_32, max: INTEGER_32): SQLITE_RESULT_ROW
effective function
{ANY}
top
New collection consisting of items at indexes in [min..max].
force (element: E_, index: INTEGER_32)
effective procedure
{ANY}
top
Make element the item at index, enlarging the collection if necessary (new bounds except index are initialized with default values).
remove_first
effective procedure
{ANY}
top
Remove the first element of the collection.
remove_head (n: INTEGER_32)
effective procedure
{ANY}
top
Remove the n elements of the collection.
remove (index: INTEGER_32)
effective procedure
{ANY}
top
Remove the item at position index.
mark_native_arrays
effective procedure
{}
top
For performance reasons, the unused area of storage is always left as it is when some elements are removed.
manifest_make (needed_capacity: INTEGER_32)
effective procedure
{}
top
Manifest creation of a FAST_ARRAY[E_].
manifest_put (index: INTEGER_32, element: E_)
effective procedure
{}
top
infix "@" (i: INTEGER_32): E_
frozen
effective function
{ANY}
top
The infix notation which is actually just a synonym for item.
swap (i1: INTEGER_32, i2: INTEGER_32)
effective procedure
{ANY}
top
Swap item at index i1 with item at index i2.
set_slice_with (v: ANY, lower_index: INTEGER_32, upper_index: INTEGER_32)
effective procedure
{ANY}
top
Set all items in range [lower_index .. upper_index] with v.
clear_all
effective procedure
{ANY}
top
Set every item to its default value.
add (element: ANY, index: INTEGER_32)
deferred procedure
{ANY}
top
Add a new element at rank index : count is increased by one and range [index .. upper] is shifted right by one position.
append_collection (other: COLLECTION[E_])
effective procedure
{ANY}
top
Append other to Current.
append_traversable (other: TRAVERSABLE[E_])
effective procedure
{ANY}
top
Append other to Current.
remove_last
deferred procedure
{ANY}
top
Remove the last item.
remove_tail (n: INTEGER_32)
deferred procedure
{ANY}
top
Remove the last n item(s).
has (x: ANY): BOOLEAN
effective function
{ANY}
top
Look for x using is_equal for comparison.
fast_has (x: ANY): BOOLEAN
effective function
{ANY}
top
Look for x using basic = for comparison.
last_index_of (element: ANY): INTEGER_32
effective function
{ANY}
top
Using is_equal for comparison, gives the index of the last occurrence of element at or before upper.
fast_last_index_of (element: ANY): INTEGER_32
effective function
{ANY}
top
Using basic = for comparison, gives the index of the last occurrence of element at or before upper.
is_equal_map (other: SQLITE_RESULT_ROW): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
same_items (other: COLLECTION[E_]): BOOLEAN
effective function
{ANY}
top
Do both collections have the same items?
replace_all (old_value: ANY, new_value: ANY)
deferred procedure
{ANY}
top
Replace all occurrences of the element old_value by new_value using is_equal for comparison.
fast_replace_all (old_value: ANY, new_value: ANY)
deferred procedure
{ANY}
top
Replace all occurrences of the element old_value by new_value using basic = for comparison.
move (lower_index: INTEGER_32, upper_index: INTEGER_32, distance: INTEGER_32)
effective procedure
{ANY}
top
Move range lower_index ..
reverse
deferred procedure
{ANY}
top
Reverse the order of the elements.
manifest_semicolon_check: BOOLEAN
is False
constant attribute
{}
top
storage: NATIVE_ARRAY[E_]
writable attribute
{ARRAYED_COLLECTION, ARRAYED_COLLECTION_HANDLER}
top
Internal access to storage location.
from_external (a_storage: POINTER, a_capacity: INTEGER_32)
effective procedure
{ARRAYED_COLLECTION, ARRAYED_COLLECTION_HANDLER}
top
capacity: INTEGER_32
writable attribute
{ANY}
top
Internal storage capacity in number of item.
to_external: POINTER
effective function
{ANY}
top
Gives C access into the internal storage of the ARRAY.
set_upper (new_upper: INTEGER_32)
effective procedure
{ARRAYED_COLLECTION}
top
mark_item (native_array: NATIVE_ARRAY[E_], index: INTEGER_32)
{}
top
To be used _only_ inside the definition of mark_native_arrays.
sqlite3_aggregate_context (an_argument_l517_c7: POINTER, a_n_bytes: INTEGER_32): POINTER
{}
top
function sqlite3_aggregate_context (in /usr/include/sqlite3.h) sqlite3_aggregate_context
sqlite3_auto_extension (a_x_entry_point: POINTER): INTEGER_32
{}
top
function sqlite3_auto_extension (in /usr/include/sqlite3.h) sqlite3_auto_extension
sqlite3_backup_finish (a_p: POINTER): INTEGER_32
{}
top
function sqlite3_backup_finish (in /usr/include/sqlite3.h) sqlite3_backup_finish
sqlite3_backup_init (a_p_dest: POINTER, a_z_dest_name: POINTER, a_p_source: POINTER, a_z_source_name: POINTER): POINTER
{}
top
function sqlite3_backup_init (in /usr/include/sqlite3.h) sqlite3_backup_init
sqlite3_backup_pagecount (a_p: POINTER): INTEGER_32
{}
top
function sqlite3_backup_pagecount (in /usr/include/sqlite3.h) sqlite3_backup_pagecount
sqlite3_backup_remaining (a_p: POINTER): INTEGER_32
{}
top
function sqlite3_backup_remaining (in /usr/include/sqlite3.h) sqlite3_backup_remaining
sqlite3_backup_step (a_p: POINTER, a_n_page: INTEGER_32): INTEGER_32
{}
top
function sqlite3_backup_step (in /usr/include/sqlite3.h) sqlite3_backup_step
sqlite3_bind_blob (an_argument_l262_c7: POINTER, an_argument_l263_c7: INTEGER_32, an_argument_l264_c7: POINTER, a_n: INTEGER_32, an_argument_l266_c7: POINTER): INTEGER_32
{}
top
function sqlite3_bind_blob (in /usr/include/sqlite3.h) sqlite3_bind_blob
sqlite3_bind_blob64 (an_argument_l269_c7: POINTER, an_argument_l270_c7: INTEGER_32, an_argument_l271_c7: POINTER, an_argument_l272_c7: NATURAL_64, an_argument_l273_c7: POINTER): INTEGER_32
{}
top
function sqlite3_bind_blob64 (in /usr/include/sqlite3.h) sqlite3_bind_blob64
sqlite3_bind_double (an_argument_l276_c7: POINTER, an_argument_l277_c7: INTEGER_32, an_argument_l278_c7: REAL_64): INTEGER_32
{}
top
function sqlite3_bind_double (in /usr/include/sqlite3.h) sqlite3_bind_double
sqlite3_bind_int (an_argument_l281_c7: POINTER, an_argument_l282_c7: INTEGER_32, an_argument_l283_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_bind_int (in /usr/include/sqlite3.h) sqlite3_bind_int
sqlite3_bind_int64 (an_argument_l286_c7: POINTER, an_argument_l287_c7: INTEGER_32, an_argument_l288_c7: INTEGER_64): INTEGER_32
{}
top
function sqlite3_bind_int64 (in /usr/include/sqlite3.h) sqlite3_bind_int64
sqlite3_bind_null (an_argument_l291_c7: POINTER, an_argument_l292_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_bind_null (in /usr/include/sqlite3.h) sqlite3_bind_null
sqlite3_bind_parameter_count (an_argument_l332_c7: POINTER): INTEGER_32
{}
top
function sqlite3_bind_parameter_count (in /usr/include/sqlite3.h) sqlite3_bind_parameter_count
sqlite3_bind_parameter_index (an_argument_l339_c7: POINTER, a_z_name: POINTER): INTEGER_32
{}
top
function sqlite3_bind_parameter_index (in /usr/include/sqlite3.h) sqlite3_bind_parameter_index
sqlite3_bind_parameter_name (an_argument_l335_c7: POINTER, an_argument_l336_c7: INTEGER_32): POINTER
{}
top
function sqlite3_bind_parameter_name (in /usr/include/sqlite3.h) sqlite3_bind_parameter_name
sqlite3_bind_text (an_argument_l295_c7: POINTER, an_argument_l296_c7: INTEGER_32, an_argument_l297_c7: POINTER, an_argument_l298_c7: INTEGER_32, an_argument_l299_c7: POINTER): INTEGER_32
{}
top
function sqlite3_bind_text (in /usr/include/sqlite3.h) sqlite3_bind_text
sqlite3_bind_text16 (an_argument_l302_c7: POINTER, an_argument_l303_c7: INTEGER_32, an_argument_l304_c7: POINTER, an_argument_l305_c7: INTEGER_32, an_argument_l306_c7: POINTER): INTEGER_32
{}
top
function sqlite3_bind_text16 (in /usr/include/sqlite3.h) sqlite3_bind_text16
sqlite3_bind_text64 (an_argument_l309_c7: POINTER, an_argument_l310_c7: INTEGER_32, an_argument_l311_c7: POINTER, an_argument_l312_c7: NATURAL_64, an_argument_l313_c7: POINTER, an_encoding: CHARACTER): INTEGER_32
{}
top
function sqlite3_bind_text64 (in /usr/include/sqlite3.h) sqlite3_bind_text64
sqlite3_bind_value (an_argument_l317_c7: POINTER, an_argument_l318_c7: INTEGER_32, an_argument_l319_c7: POINTER): INTEGER_32
{}
top
function sqlite3_bind_value (in /usr/include/sqlite3.h) sqlite3_bind_value
sqlite3_bind_zeroblob (an_argument_l322_c7: POINTER, an_argument_l323_c7: INTEGER_32, a_n: INTEGER_32): INTEGER_32
{}
top
function sqlite3_bind_zeroblob (in /usr/include/sqlite3.h) sqlite3_bind_zeroblob
sqlite3_bind_zeroblob64 (an_argument_l327_c7: POINTER, an_argument_l328_c7: INTEGER_32, an_argument_l329_c7: NATURAL_64): INTEGER_32
{}
top
function sqlite3_bind_zeroblob64 (in /usr/include/sqlite3.h) sqlite3_bind_zeroblob64
sqlite3_blob_bytes (an_argument_l792_c7: POINTER): INTEGER_32
{}
top
function sqlite3_blob_bytes (in /usr/include/sqlite3.h) sqlite3_blob_bytes
sqlite3_blob_close (an_argument_l789_c7: POINTER): INTEGER_32
{}
top
function sqlite3_blob_close (in /usr/include/sqlite3.h) sqlite3_blob_close
sqlite3_blob_open (an_argument_l776_c7: POINTER, a_z_db: POINTER, a_z_table: POINTER, a_z_column: POINTER, an_i_row: INTEGER_64, a_flags: INTEGER_32, a_pp_blob: POINTER): INTEGER_32
{}
top
function sqlite3_blob_open (in /usr/include/sqlite3.h) sqlite3_blob_open
sqlite3_blob_read (an_argument_l795_c7: POINTER, a_z: POINTER, a_n: INTEGER_32, an_i_offset: INTEGER_32): INTEGER_32
{}
top
function sqlite3_blob_read (in /usr/include/sqlite3.h) sqlite3_blob_read
sqlite3_blob_reopen (an_argument_l785_c7: POINTER, an_argument_l786_c7: INTEGER_64): INTEGER_32
{}
top
function sqlite3_blob_reopen (in /usr/include/sqlite3.h) sqlite3_blob_reopen
sqlite3_blob_write (an_argument_l801_c7: POINTER, a_z: POINTER, a_n: INTEGER_32, an_i_offset: INTEGER_32): INTEGER_32
{}
top
function sqlite3_blob_write (in /usr/include/sqlite3.h) sqlite3_blob_write
sqlite3_busy_handler (an_argument_l85_c7: POINTER, an_argument_l86_c7: POINTER, an_argument_l87_c7: POINTER): INTEGER_32
{}
top
function sqlite3_busy_handler (in /usr/include/sqlite3.h) sqlite3_busy_handler
sqlite3_busy_timeout (an_argument_l90_c7: POINTER, a_ms: INTEGER_32): INTEGER_32
{}
top
function sqlite3_busy_timeout (in /usr/include/sqlite3.h) sqlite3_busy_timeout
sqlite3_cancel_auto_extension (a_x_entry_point: POINTER): INTEGER_32
{}
top
function sqlite3_cancel_auto_extension (in /usr/include/sqlite3.h) sqlite3_cancel_auto_extension
sqlite3_changes (an_argument_l70_c7: POINTER): INTEGER_32
{}
top
function sqlite3_changes (in /usr/include/sqlite3.h) sqlite3_changes
sqlite3_clear_bindings (an_argument_l343_c7: POINTER): INTEGER_32
{}
top
function sqlite3_clear_bindings (in /usr/include/sqlite3.h) sqlite3_clear_bindings
sqlite3_close (an_argument_l26_c7: POINTER): INTEGER_32
{}
top
function sqlite3_close (in /usr/include/sqlite3.h) sqlite3_close
sqlite3_close_v2 (an_argument_l29_c7: POINTER): INTEGER_32
{}
top
function sqlite3_close_v2 (in /usr/include/sqlite3.h) sqlite3_close_v2
sqlite3_collation_needed (an_argument_l654_c7: POINTER, an_argument_l655_c7: POINTER, an_argument_l656_c7: POINTER): INTEGER_32
{}
top
function sqlite3_collation_needed (in /usr/include/sqlite3.h) sqlite3_collation_needed
sqlite3_collation_needed16 (an_argument_l659_c7: POINTER, an_argument_l660_c7: POINTER, an_argument_l661_c7: POINTER): INTEGER_32
{}
top
function sqlite3_collation_needed16 (in /usr/include/sqlite3.h) sqlite3_collation_needed16
sqlite3_column_blob (an_argument_l395_c7: POINTER, an_i_col: INTEGER_32): POINTER
{}
top
function sqlite3_column_blob (in /usr/include/sqlite3.h) sqlite3_column_blob
sqlite3_column_bytes (an_argument_l399_c7: POINTER, an_i_col: INTEGER_32): INTEGER_32
{}
top
function sqlite3_column_bytes (in /usr/include/sqlite3.h) sqlite3_column_bytes
sqlite3_column_bytes16 (an_argument_l403_c7: POINTER, an_i_col: INTEGER_32): INTEGER_32
{}
top
function sqlite3_column_bytes16 (in /usr/include/sqlite3.h) sqlite3_column_bytes16
sqlite3_column_count (a_p_stmt: POINTER): INTEGER_32
{}
top
function sqlite3_column_count (in /usr/include/sqlite3.h) sqlite3_column_count
sqlite3_column_database_name (an_argument_l357_c7: POINTER, an_argument_l358_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_database_name (in /usr/include/sqlite3.h) sqlite3_column_database_name
sqlite3_column_database_name16 (an_argument_l361_c7: POINTER, an_argument_l362_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_database_name16 (in /usr/include/sqlite3.h) sqlite3_column_database_name16
sqlite3_column_decltype (an_argument_l381_c7: POINTER, an_argument_l382_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_decltype (in /usr/include/sqlite3.h) sqlite3_column_decltype
sqlite3_column_decltype16 (an_argument_l385_c7: POINTER, an_argument_l386_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_decltype16 (in /usr/include/sqlite3.h) sqlite3_column_decltype16
sqlite3_column_double (an_argument_l407_c7: POINTER, an_i_col: INTEGER_32): REAL_64
{}
top
function sqlite3_column_double (in /usr/include/sqlite3.h) sqlite3_column_double
sqlite3_column_int (an_argument_l411_c7: POINTER, an_i_col: INTEGER_32): INTEGER_32
{}
top
function sqlite3_column_int (in /usr/include/sqlite3.h) sqlite3_column_int
sqlite3_column_int64 (an_argument_l415_c7: POINTER, an_i_col: INTEGER_32): INTEGER_64
{}
top
function sqlite3_column_int64 (in /usr/include/sqlite3.h) sqlite3_column_int64
sqlite3_column_name (an_argument_l349_c7: POINTER, a_n: INTEGER_32): POINTER
{}
top
function sqlite3_column_name (in /usr/include/sqlite3.h) sqlite3_column_name
sqlite3_column_name16 (an_argument_l353_c7: POINTER, a_n: INTEGER_32): POINTER
{}
top
function sqlite3_column_name16 (in /usr/include/sqlite3.h) sqlite3_column_name16
sqlite3_column_origin_name (an_argument_l373_c7: POINTER, an_argument_l374_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_origin_name (in /usr/include/sqlite3.h) sqlite3_column_origin_name
sqlite3_column_origin_name16 (an_argument_l377_c7: POINTER, an_argument_l378_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_origin_name16 (in /usr/include/sqlite3.h) sqlite3_column_origin_name16
sqlite3_column_table_name (an_argument_l365_c7: POINTER, an_argument_l366_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_table_name (in /usr/include/sqlite3.h) sqlite3_column_table_name
sqlite3_column_table_name16 (an_argument_l369_c7: POINTER, an_argument_l370_c7: INTEGER_32): POINTER
{}
top
function sqlite3_column_table_name16 (in /usr/include/sqlite3.h) sqlite3_column_table_name16
sqlite3_column_text (an_argument_l419_c7: POINTER, an_i_col: INTEGER_32): POINTER
{}
top
function sqlite3_column_text (in /usr/include/sqlite3.h) sqlite3_column_text
sqlite3_column_text16 (an_argument_l423_c7: POINTER, an_i_col: INTEGER_32): POINTER
{}
top
function sqlite3_column_text16 (in /usr/include/sqlite3.h) sqlite3_column_text16
sqlite3_column_type (an_argument_l427_c7: POINTER, an_i_col: INTEGER_32): INTEGER_32
{}
top
function sqlite3_column_type (in /usr/include/sqlite3.h) sqlite3_column_type
sqlite3_column_value (an_argument_l431_c7: POINTER, an_i_col: INTEGER_32): POINTER
{}
top
function sqlite3_column_value (in /usr/include/sqlite3.h) sqlite3_column_value
sqlite3_commit_hook (an_argument_l687_c7: POINTER, an_argument_l688_c7: POINTER, an_argument_l689_c7: POINTER): POINTER
{}
top
function sqlite3_commit_hook (in /usr/include/sqlite3.h) sqlite3_commit_hook
sqlite3_compileoption_get (a_n: INTEGER_32): POINTER
{}
top
function sqlite3_compileoption_get (in /usr/include/sqlite3.h) sqlite3_compileoption_get
sqlite3_compileoption_used (a_z_opt_name: POINTER): INTEGER_32
{}
top
function sqlite3_compileoption_used (in /usr/include/sqlite3.h) sqlite3_compileoption_used
sqlite3_complete (a_sql: POINTER): INTEGER_32
{}
top
function sqlite3_complete (in /usr/include/sqlite3.h) sqlite3_complete
sqlite3_complete16 (a_sql: POINTER): INTEGER_32
{}
top
function sqlite3_complete16 (in /usr/include/sqlite3.h) sqlite3_complete16
sqlite3_config (an_argument_l52_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_config (in /usr/include/sqlite3.h) sqlite3_config (variadic call)
sqlite3_context_db_handle (an_argument_l524_c7: POINTER): POINTER
{}
top
function sqlite3_context_db_handle (in /usr/include/sqlite3.h) sqlite3_context_db_handle
sqlite3_create_collation (an_argument_l632_c7: POINTER, a_z_name: POINTER, an_e_text_rep: INTEGER_32, a_p_arg: POINTER, a_x_compare: POINTER): INTEGER_32
{}
top
function sqlite3_create_collation (in /usr/include/sqlite3.h) sqlite3_create_collation
sqlite3_create_collation16 (an_argument_l647_c7: POINTER, a_z_name: POINTER, an_e_text_rep: INTEGER_32, a_p_arg: POINTER, a_x_compare: POINTER): INTEGER_32
{}
top
function sqlite3_create_collation16 (in /usr/include/sqlite3.h) sqlite3_create_collation16
sqlite3_create_collation_v2 (an_argument_l639_c7: POINTER, a_z_name: POINTER, an_e_text_rep: INTEGER_32, a_p_arg: POINTER, a_x_compare: POINTER, a_x_destroy: POINTER): INTEGER_32
{}
top
function sqlite3_create_collation_v2 (in /usr/include/sqlite3.h) sqlite3_create_collation_v2
sqlite3_create_function (a_db: POINTER, a_z_function_name: POINTER, a_n_arg: INTEGER_32, an_e_text_rep: INTEGER_32, a_p_app: POINTER, a_x_func: POINTER, a_x_step: POINTER, a_x_final: POINTER): INTEGER_32
{}
top
function sqlite3_create_function (in /usr/include/sqlite3.h) sqlite3_create_function
sqlite3_create_function16 (a_db: POINTER, a_z_function_name: POINTER, a_n_arg: INTEGER_32, an_e_text_rep: INTEGER_32, a_p_app: POINTER, a_x_func: POINTER, a_x_step: POINTER, a_x_final: POINTER): INTEGER_32
{}
top
function sqlite3_create_function16 (in /usr/include/sqlite3.h) sqlite3_create_function16
sqlite3_create_function_v2 (a_db: POINTER, a_z_function_name: POINTER, a_n_arg: INTEGER_32, an_e_text_rep: INTEGER_32, a_p_app: POINTER, a_x_func: POINTER, a_x_step: POINTER, a_x_final: POINTER, a_x_destroy: POINTER): INTEGER_32
{}
top
function sqlite3_create_function_v2 (in /usr/include/sqlite3.h) sqlite3_create_function_v2
sqlite3_create_module (a_db: POINTER, a_z_name: POINTER, a_p: POINTER, a_p_client_data: POINTER): INTEGER_32
{}
top
function sqlite3_create_module (in /usr/include/sqlite3.h) sqlite3_create_module
sqlite3_create_module_v2 (a_db: POINTER, a_z_name: POINTER, a_p: POINTER, a_p_client_data: POINTER, a_x_destroy: POINTER): INTEGER_32
{}
top
function sqlite3_create_module_v2 (in /usr/include/sqlite3.h) sqlite3_create_module_v2
sqlite3_data_count (a_p_stmt: POINTER): INTEGER_32
{}
top
function sqlite3_data_count (in /usr/include/sqlite3.h) sqlite3_data_count
sqlite3_data_directory: POINTER
{}
top
sqlite3_data_directory
address_of_sqlite3_data_directory: POINTER
{}
top
Address of sqlite3_data_directory
set_sqlite3_data_directory (a_value: POINTER)
{}
top
Set variable sqlite3_data_directory value
sqlite3_db_cacheflush (an_argument_l969_c7: POINTER): INTEGER_32
{}
top
function sqlite3_db_cacheflush (in /usr/include/sqlite3.h) sqlite3_db_cacheflush
sqlite3_db_config (an_argument_l56_c7: POINTER, an_op: INTEGER_32): INTEGER_32
{}
top
function sqlite3_db_config (in /usr/include/sqlite3.h) sqlite3_db_config (variadic call)
sqlite3_db_filename (a_db: POINTER, a_z_db_name: POINTER): POINTER
{}
top
function sqlite3_db_filename (in /usr/include/sqlite3.h) sqlite3_db_filename
sqlite3_db_handle (an_argument_l672_c7: POINTER): POINTER
{}
top
function sqlite3_db_handle (in /usr/include/sqlite3.h) sqlite3_db_handle
sqlite3_db_mutex (an_argument_l840_c7: POINTER): POINTER
{}
top
function sqlite3_db_mutex (in /usr/include/sqlite3.h) sqlite3_db_mutex
sqlite3_db_readonly (a_db: POINTER, a_z_db_name: POINTER): INTEGER_32
{}
top
function sqlite3_db_readonly (in /usr/include/sqlite3.h) sqlite3_db_readonly
sqlite3_db_release_memory (an_argument_l708_c7: POINTER): INTEGER_32
{}
top
function sqlite3_db_release_memory (in /usr/include/sqlite3.h) sqlite3_db_release_memory
sqlite3_db_status (an_argument_l865_c7: POINTER, an_op: INTEGER_32, a_p_cur: POINTER, a_p_hiwtr: POINTER, a_reset_flg: INTEGER_32): INTEGER_32
{}
top
function sqlite3_db_status (in /usr/include/sqlite3.h) sqlite3_db_status
sqlite3_declare_vtab (an_argument_l766_c7: POINTER, a_z_sql: POINTER): INTEGER_32
{}
top
function sqlite3_declare_vtab (in /usr/include/sqlite3.h) sqlite3_declare_vtab
sqlite3_enable_load_extension (a_db: POINTER, an_onoff: INTEGER_32): INTEGER_32
{}
top
function sqlite3_enable_load_extension (in /usr/include/sqlite3.h) sqlite3_enable_load_extension
sqlite3_enable_shared_cache (an_argument_l702_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_enable_shared_cache (in /usr/include/sqlite3.h) sqlite3_enable_shared_cache
sqlite3_errcode (a_db: POINTER): INTEGER_32
{}
top
function sqlite3_errcode (in /usr/include/sqlite3.h) sqlite3_errcode
sqlite3_errmsg (an_argument_l208_c7: POINTER): POINTER
{}
top
function sqlite3_errmsg (in /usr/include/sqlite3.h) sqlite3_errmsg
sqlite3_errmsg16 (an_argument_l211_c7: POINTER): POINTER
{}
top
function sqlite3_errmsg16 (in /usr/include/sqlite3.h) sqlite3_errmsg16
sqlite3_errstr (an_argument_l214_c7: INTEGER_32): POINTER
{}
top
function sqlite3_errstr (in /usr/include/sqlite3.h) sqlite3_errstr
sqlite3_exec (an_argument_l33_c7: POINTER, a_sql: POINTER, a_callback: POINTER, an_argument_l36_c7: POINTER, an_errmsg: POINTER): INTEGER_32
{}
top
function sqlite3_exec (in /usr/include/sqlite3.h) sqlite3_exec
sqlite3_extended_errcode (a_db: POINTER): INTEGER_32
{}
top
function sqlite3_extended_errcode (in /usr/include/sqlite3.h) sqlite3_extended_errcode
sqlite3_extended_result_codes (an_argument_l63_c7: POINTER, an_onoff: INTEGER_32): INTEGER_32
{}
top
function sqlite3_extended_result_codes (in /usr/include/sqlite3.h) sqlite3_extended_result_codes
sqlite3_file_control (an_argument_l843_c7: POINTER, a_z_db_name: POINTER, an_op: INTEGER_32, an_argument_l846_c7: POINTER): INTEGER_32
{}
top
function sqlite3_file_control (in /usr/include/sqlite3.h) sqlite3_file_control
sqlite3_finalize (a_p_stmt: POINTER): INTEGER_32
{}
top
function sqlite3_finalize (in /usr/include/sqlite3.h) sqlite3_finalize
sqlite3_free (an_argument_l139_c7: POINTER)
{}
top
function sqlite3_free (in /usr/include/sqlite3.h) sqlite3_free
sqlite3_free_table (a_result: POINTER)
{}
top
function sqlite3_free_table (in /usr/include/sqlite3.h) sqlite3_free_table
sqlite3_get_autocommit (an_argument_l669_c7: POINTER): INTEGER_32
{}
top
function sqlite3_get_autocommit (in /usr/include/sqlite3.h) sqlite3_get_autocommit
sqlite3_get_auxdata (an_argument_l527_c7: POINTER, a_n: INTEGER_32): POINTER
{}
top
function sqlite3_get_auxdata (in /usr/include/sqlite3.h) sqlite3_get_auxdata
sqlite3_get_table (a_db: POINTER, a_z_sql: POINTER, a_paz_result: POINTER, a_pn_row: POINTER, a_pn_column: POINTER, a_pz_errmsg: POINTER): INTEGER_32
{}
top
function sqlite3_get_table (in /usr/include/sqlite3.h) sqlite3_get_table
sqlite3_initialize: INTEGER_32
{}
top
function sqlite3_initialize (in /usr/include/sqlite3.h) sqlite3_initialize
sqlite3_interrupt (an_argument_l76_c7: POINTER)
{}
top
function sqlite3_interrupt (in /usr/include/sqlite3.h) sqlite3_interrupt
sqlite3_last_insert_rowid (an_argument_l67_c7: POINTER): INTEGER_64
{}
top
function sqlite3_last_insert_rowid (in /usr/include/sqlite3.h) sqlite3_last_insert_rowid
sqlite3_libversion: POINTER
{}
top
function sqlite3_libversion (in /usr/include/sqlite3.h) sqlite3_libversion
sqlite3_libversion_number: INTEGER_32
{}
top
function sqlite3_libversion_number (in /usr/include/sqlite3.h) sqlite3_libversion_number
sqlite3_limit (an_argument_l218_c7: POINTER, an_id: INTEGER_32, a_new_val: INTEGER_32): INTEGER_32
{}
top
function sqlite3_limit (in /usr/include/sqlite3.h) sqlite3_limit
sqlite3_load_extension (a_db: POINTER, a_z_file: POINTER, a_z_proc: POINTER, a_pz_err_msg: POINTER): INTEGER_32
{}
top
function sqlite3_load_extension (in /usr/include/sqlite3.h) sqlite3_load_extension
sqlite3_log (an_i_err_code: INTEGER_32, a_z_format: POINTER)
{}
top
function sqlite3_log (in /usr/include/sqlite3.h) sqlite3_log (variadic call)
sqlite3_malloc (an_argument_l125_c7: INTEGER_32): POINTER
{}
top
function sqlite3_malloc (in /usr/include/sqlite3.h) sqlite3_malloc
sqlite3_malloc64 (an_argument_l128_c7: NATURAL_64): POINTER
{}
top
function sqlite3_malloc64 (in /usr/include/sqlite3.h) sqlite3_malloc64
sqlite3_memory_highwater (a_reset_flag: INTEGER_32): INTEGER_64
{}
top
function sqlite3_memory_highwater (in /usr/include/sqlite3.h) sqlite3_memory_highwater
sqlite3_memory_used: INTEGER_64
{}
top
function sqlite3_memory_used (in /usr/include/sqlite3.h) sqlite3_memory_used
sqlite3_mprintf (an_argument_l105_c7: POINTER): POINTER
{}
top
function sqlite3_mprintf (in /usr/include/sqlite3.h) sqlite3_mprintf (variadic call)
sqlite3_msize (an_argument_l142_c7: POINTER): NATURAL_64
{}
top
function sqlite3_msize (in /usr/include/sqlite3.h) sqlite3_msize
sqlite3_mutex_alloc (an_argument_l817_c7: INTEGER_32): POINTER
{}
top
function sqlite3_mutex_alloc (in /usr/include/sqlite3.h) sqlite3_mutex_alloc
sqlite3_mutex_enter (an_argument_l823_c7: POINTER)
{}
top
function sqlite3_mutex_enter (in /usr/include/sqlite3.h) sqlite3_mutex_enter
sqlite3_mutex_free (an_argument_l820_c7: POINTER)
{}
top
function sqlite3_mutex_free (in /usr/include/sqlite3.h) sqlite3_mutex_free
sqlite3_mutex_held (an_argument_l834_c7: POINTER): INTEGER_32
{}
top
function sqlite3_mutex_held (in /usr/include/sqlite3.h) sqlite3_mutex_held
sqlite3_mutex_leave (an_argument_l829_c7: POINTER)
{}
top
function sqlite3_mutex_leave (in /usr/include/sqlite3.h) sqlite3_mutex_leave
sqlite3_mutex_notheld (an_argument_l837_c7: POINTER): INTEGER_32
{}
top
function sqlite3_mutex_notheld (in /usr/include/sqlite3.h) sqlite3_mutex_notheld
sqlite3_mutex_try (an_argument_l826_c7: POINTER): INTEGER_32
{}
top
function sqlite3_mutex_try (in /usr/include/sqlite3.h) sqlite3_mutex_try
sqlite3_next_stmt (a_p_db: POINTER, a_p_stmt: POINTER): POINTER
{}
top
function sqlite3_next_stmt (in /usr/include/sqlite3.h) sqlite3_next_stmt
sqlite3_open (a_filename: POINTER, a_pp_db: POINTER): INTEGER_32
{}
top
function sqlite3_open (in /usr/include/sqlite3.h) sqlite3_open
sqlite3_open16 (a_filename: POINTER, a_pp_db: POINTER): INTEGER_32
{}
top
function sqlite3_open16 (in /usr/include/sqlite3.h) sqlite3_open16
sqlite3_open_v2 (a_filename: POINTER, a_pp_db: POINTER, a_flags: INTEGER_32, a_z_vfs: POINTER): INTEGER_32
{}
top
function sqlite3_open_v2 (in /usr/include/sqlite3.h) sqlite3_open_v2
sqlite3_os_end: INTEGER_32
{}
top
function sqlite3_os_end (in /usr/include/sqlite3.h) sqlite3_os_end
sqlite3_os_init: INTEGER_32
{}
top
function sqlite3_os_init (in /usr/include/sqlite3.h) sqlite3_os_init
sqlite3_overload_function (an_argument_l770_c7: POINTER, a_z_func_name: POINTER, a_n_arg: INTEGER_32): INTEGER_32
{}
top
function sqlite3_overload_function (in /usr/include/sqlite3.h) sqlite3_overload_function
sqlite3_prepare (a_db: POINTER, a_z_sql: POINTER, a_n_byte: INTEGER_32, a_pp_stmt: POINTER, a_pz_tail: POINTER): INTEGER_32
{}
top
function sqlite3_prepare (in /usr/include/sqlite3.h) sqlite3_prepare
sqlite3_prepare16 (a_db: POINTER, a_z_sql: POINTER, a_n_byte: INTEGER_32, a_pp_stmt: POINTER, a_pz_tail: POINTER): INTEGER_32
{}
top
function sqlite3_prepare16 (in /usr/include/sqlite3.h) sqlite3_prepare16
sqlite3_prepare16_v2 (a_db: POINTER, a_z_sql: POINTER, a_n_byte: INTEGER_32, a_pp_stmt: POINTER, a_pz_tail: POINTER): INTEGER_32
{}
top
function sqlite3_prepare16_v2 (in /usr/include/sqlite3.h) sqlite3_prepare16_v2
sqlite3_prepare_v2 (a_db: POINTER, a_z_sql: POINTER, a_n_byte: INTEGER_32, a_pp_stmt: POINTER, a_pz_tail: POINTER): INTEGER_32
{}
top
function sqlite3_prepare_v2 (in /usr/include/sqlite3.h) sqlite3_prepare_v2
sqlite3_profile (an_argument_l163_c7: POINTER, a_x_profile: POINTER, an_argument_l165_c7: POINTER): POINTER
{}
top
function sqlite3_profile (in /usr/include/sqlite3.h) sqlite3_profile
sqlite3_progress_handler (an_argument_l168_c7: POINTER, an_argument_l169_c7: INTEGER_32, an_argument_l170_c7: POINTER, an_argument_l171_c7: POINTER)
{}
top
function sqlite3_progress_handler (in /usr/include/sqlite3.h) sqlite3_progress_handler
sqlite3_randomness (a_n: INTEGER_32, a_p: POINTER)
{}
top
function sqlite3_randomness (in /usr/include/sqlite3.h) sqlite3_randomness
sqlite3_realloc (an_argument_l131_c7: POINTER, an_argument_l132_c7: INTEGER_32): POINTER
{}
top
function sqlite3_realloc (in /usr/include/sqlite3.h) sqlite3_realloc
sqlite3_realloc64 (an_argument_l135_c7: POINTER, an_argument_l136_c7: NATURAL_64): POINTER
{}
top
function sqlite3_realloc64 (in /usr/include/sqlite3.h) sqlite3_realloc64
sqlite3_release_memory (an_argument_l705_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_release_memory (in /usr/include/sqlite3.h) sqlite3_release_memory
sqlite3_reset (a_p_stmt: POINTER): INTEGER_32
{}
top
function sqlite3_reset (in /usr/include/sqlite3.h) sqlite3_reset
sqlite3_reset_auto_extension
{}
top
function sqlite3_reset_auto_extension (in /usr/include/sqlite3.h) sqlite3_reset_auto_extension
sqlite3_result_blob (an_argument_l538_c7: POINTER, an_argument_l539_c7: POINTER, an_argument_l540_c7: INTEGER_32, an_argument_l541_c7: POINTER)
{}
top
function sqlite3_result_blob (in /usr/include/sqlite3.h) sqlite3_result_blob
sqlite3_result_blob64 (an_argument_l544_c7: POINTER, an_argument_l545_c7: POINTER, an_argument_l546_c7: NATURAL_64, an_argument_l547_c7: POINTER)
{}
top
function sqlite3_result_blob64 (in /usr/include/sqlite3.h) sqlite3_result_blob64
sqlite3_result_double (an_argument_l550_c7: POINTER, an_argument_l551_c7: REAL_64)
{}
top
function sqlite3_result_double (in /usr/include/sqlite3.h) sqlite3_result_double
sqlite3_result_error (an_argument_l554_c7: POINTER, an_argument_l555_c7: POINTER, an_argument_l556_c7: INTEGER_32)
{}
top
function sqlite3_result_error (in /usr/include/sqlite3.h) sqlite3_result_error
sqlite3_result_error16 (an_argument_l559_c7: POINTER, an_argument_l560_c7: POINTER, an_argument_l561_c7: INTEGER_32)
{}
top
function sqlite3_result_error16 (in /usr/include/sqlite3.h) sqlite3_result_error16
sqlite3_result_error_code (an_argument_l570_c7: POINTER, an_argument_l571_c7: INTEGER_32)
{}
top
function sqlite3_result_error_code (in /usr/include/sqlite3.h) sqlite3_result_error_code
sqlite3_result_error_nomem (an_argument_l567_c7: POINTER)
{}
top
function sqlite3_result_error_nomem (in /usr/include/sqlite3.h) sqlite3_result_error_nomem
sqlite3_result_error_toobig (an_argument_l564_c7: POINTER)
{}
top
function sqlite3_result_error_toobig (in /usr/include/sqlite3.h) sqlite3_result_error_toobig
sqlite3_result_int (an_argument_l574_c7: POINTER, an_argument_l575_c7: INTEGER_32)
{}
top
function sqlite3_result_int (in /usr/include/sqlite3.h) sqlite3_result_int
sqlite3_result_int64 (an_argument_l578_c7: POINTER, an_argument_l579_c7: INTEGER_64)
{}
top
function sqlite3_result_int64 (in /usr/include/sqlite3.h) sqlite3_result_int64
sqlite3_result_null (an_argument_l582_c7: POINTER)
{}
top
function sqlite3_result_null (in /usr/include/sqlite3.h) sqlite3_result_null
sqlite3_result_subtype (an_argument_l628_c7: POINTER, an_argument_l629_c7: NATURAL_32)
{}
top
function sqlite3_result_subtype (in /usr/include/sqlite3.h) sqlite3_result_subtype
sqlite3_result_text (an_argument_l585_c7: POINTER, an_argument_l586_c7: POINTER, an_argument_l587_c7: INTEGER_32, an_argument_l588_c7: POINTER)
{}
top
function sqlite3_result_text (in /usr/include/sqlite3.h) sqlite3_result_text
sqlite3_result_text16 (an_argument_l598_c7: POINTER, an_argument_l599_c7: POINTER, an_argument_l600_c7: INTEGER_32, an_argument_l601_c7: POINTER)
{}
top
function sqlite3_result_text16 (in /usr/include/sqlite3.h) sqlite3_result_text16
sqlite3_result_text16be (an_argument_l610_c7: POINTER, an_argument_l611_c7: POINTER, an_argument_l612_c7: INTEGER_32, an_argument_l613_c7: POINTER)
{}
top
function sqlite3_result_text16be (in /usr/include/sqlite3.h) sqlite3_result_text16be
sqlite3_result_text16le (an_argument_l604_c7: POINTER, an_argument_l605_c7: POINTER, an_argument_l606_c7: INTEGER_32, an_argument_l607_c7: POINTER)
{}
top
function sqlite3_result_text16le (in /usr/include/sqlite3.h) sqlite3_result_text16le
sqlite3_result_text64 (an_argument_l591_c7: POINTER, an_argument_l592_c7: POINTER, an_argument_l593_c7: NATURAL_64, an_argument_l594_c7: POINTER, an_encoding: CHARACTER)
{}
top
function sqlite3_result_text64 (in /usr/include/sqlite3.h) sqlite3_result_text64
sqlite3_result_value (an_argument_l616_c7: POINTER, an_argument_l617_c7: POINTER)
{}
top
function sqlite3_result_value (in /usr/include/sqlite3.h) sqlite3_result_value
sqlite3_result_zeroblob (an_argument_l620_c7: POINTER, a_n: INTEGER_32)
{}
top
function sqlite3_result_zeroblob (in /usr/include/sqlite3.h) sqlite3_result_zeroblob
sqlite3_result_zeroblob64 (an_argument_l624_c7: POINTER, a_n: NATURAL_64): INTEGER_32
{}
top
function sqlite3_result_zeroblob64 (in /usr/include/sqlite3.h) sqlite3_result_zeroblob64
sqlite3_rollback_hook (an_argument_l692_c7: POINTER, an_argument_l693_c7: POINTER, an_argument_l694_c7: POINTER): POINTER
{}
top
function sqlite3_rollback_hook (in /usr/include/sqlite3.h) sqlite3_rollback_hook
sqlite3_rtree_geometry_callback (a_db: POINTER, a_z_geom: POINTER, a_x_geom: POINTER, a_p_context: POINTER): INTEGER_32
{}
top
function sqlite3_rtree_geometry_callback (in /usr/include/sqlite3.h) sqlite3_rtree_geometry_callback
sqlite3_rtree_query_callback (a_db: POINTER, a_z_query_func: POINTER, a_x_query_func: POINTER, a_p_context: POINTER, a_x_destructor: POINTER): INTEGER_32
{}
top
function sqlite3_rtree_query_callback (in /usr/include/sqlite3.h) sqlite3_rtree_query_callback
sqlite3_set_authorizer (an_argument_l153_c7: POINTER, a_x_auth: POINTER, a_p_user_data: POINTER): INTEGER_32
{}
top
function sqlite3_set_authorizer (in /usr/include/sqlite3.h) sqlite3_set_authorizer
sqlite3_set_auxdata (an_argument_l531_c7: POINTER, a_n: INTEGER_32, an_argument_l533_c7: POINTER, an_argument_l534_c7: POINTER)
{}
top
function sqlite3_set_auxdata (in /usr/include/sqlite3.h) sqlite3_set_auxdata
sqlite3_shutdown: INTEGER_32
{}
top
function sqlite3_shutdown (in /usr/include/sqlite3.h) sqlite3_shutdown
sqlite3_sleep (an_argument_l664_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_sleep (in /usr/include/sqlite3.h) sqlite3_sleep
sqlite3_snapshot_free (an_argument_l983_c7: POINTER)
{}
top
function sqlite3_snapshot_free (in /usr/include/sqlite3.h) sqlite3_snapshot_free
sqlite3_snapshot_get (a_db: POINTER, a_z_schema: POINTER, a_pp_snapshot: POINTER): INTEGER_32
{}
top
function sqlite3_snapshot_get (in /usr/include/sqlite3.h) sqlite3_snapshot_get
sqlite3_snapshot_open (a_db: POINTER, a_z_schema: POINTER, a_p_snapshot: POINTER): INTEGER_32
{}
top
function sqlite3_snapshot_open (in /usr/include/sqlite3.h) sqlite3_snapshot_open
sqlite3_snprintf (an_argument_l113_c7: INTEGER_32, an_argument_l114_c7: POINTER, an_argument_l115_c7: POINTER): POINTER
{}
top
function sqlite3_snprintf (in /usr/include/sqlite3.h) sqlite3_snprintf (variadic call)
sqlite3_soft_heap_limit (a_n: INTEGER_32)
{}
top
function sqlite3_soft_heap_limit (in /usr/include/sqlite3.h) sqlite3_soft_heap_limit
sqlite3_soft_heap_limit64 (a_n: INTEGER_64): INTEGER_64
{}
top
function sqlite3_soft_heap_limit64 (in /usr/include/sqlite3.h) sqlite3_soft_heap_limit64
sqlite3_sourceid: POINTER
{}
top
function sqlite3_sourceid (in /usr/include/sqlite3.h) sqlite3_sourceid
sqlite3_sql (a_p_stmt: POINTER): POINTER
{}
top
function sqlite3_sql (in /usr/include/sqlite3.h) sqlite3_sql
sqlite3_status (an_op: INTEGER_32, a_p_current: POINTER, a_p_highwater: POINTER, a_reset_flag: INTEGER_32): INTEGER_32
{}
top
function sqlite3_status (in /usr/include/sqlite3.h) sqlite3_status
sqlite3_status64 (an_op: INTEGER_32, a_p_current: POINTER, a_p_highwater: POINTER, a_reset_flag: INTEGER_32): INTEGER_32
{}
top
function sqlite3_status64 (in /usr/include/sqlite3.h) sqlite3_status64
sqlite3_step (an_argument_l389_c7: POINTER): INTEGER_32
{}
top
function sqlite3_step (in /usr/include/sqlite3.h) sqlite3_step
sqlite3_stmt_busy (an_argument_l257_c7: POINTER): INTEGER_32
{}
top
function sqlite3_stmt_busy (in /usr/include/sqlite3.h) sqlite3_stmt_busy
sqlite3_stmt_readonly (a_p_stmt: POINTER): INTEGER_32
{}
top
function sqlite3_stmt_readonly (in /usr/include/sqlite3.h) sqlite3_stmt_readonly
sqlite3_stmt_scanstatus (a_p_stmt: POINTER, an_idx: INTEGER_32, an_i_scan_status_op: INTEGER_32, a_p_out: POINTER): INTEGER_32
{}
top
function sqlite3_stmt_scanstatus (in /usr/include/sqlite3.h) sqlite3_stmt_scanstatus
sqlite3_stmt_scanstatus_reset (an_argument_l966_c7: POINTER)
{}
top
function sqlite3_stmt_scanstatus_reset (in /usr/include/sqlite3.h) sqlite3_stmt_scanstatus_reset
sqlite3_stmt_status (an_argument_l872_c7: POINTER, an_op: INTEGER_32, a_reset_flg: INTEGER_32): INTEGER_32
{}
top
function sqlite3_stmt_status (in /usr/include/sqlite3.h) sqlite3_stmt_status
sqlite3_strglob (a_z_glob: POINTER, a_z_str: POINTER): INTEGER_32
{}
top
function sqlite3_strglob (in /usr/include/sqlite3.h) sqlite3_strglob
sqlite3_stricmp (an_argument_l909_c7: POINTER, an_argument_l910_c7: POINTER): INTEGER_32
{}
top
function sqlite3_stricmp (in /usr/include/sqlite3.h) sqlite3_stricmp
sqlite3_strlike (a_z_glob: POINTER, a_z_str: POINTER, a_c_esc: NATURAL_32): INTEGER_32
{}
top
function sqlite3_strlike (in /usr/include/sqlite3.h) sqlite3_strlike
sqlite3_strnicmp (an_argument_l913_c7: POINTER, an_argument_l914_c7: POINTER, an_argument_l915_c7: INTEGER_32): INTEGER_32
{}
top
function sqlite3_strnicmp (in /usr/include/sqlite3.h) sqlite3_strnicmp
sqlite3_table_column_metadata (a_db: POINTER, a_z_db_name: POINTER, a_z_table_name: POINTER, a_z_column_name: POINTER, a_pz_data_type: POINTER, a_pz_coll_seq: POINTER, a_p_not_null: POINTER, a_p_primary_key: POINTER, a_p_autoinc: POINTER): INTEGER_32
{}
top
function sqlite3_table_column_metadata (in /usr/include/sqlite3.h) sqlite3_table_column_metadata
sqlite3_temp_directory: POINTER
{}
top
sqlite3_temp_directory
address_of_sqlite3_temp_directory: POINTER
{}
top
Address of sqlite3_temp_directory
set_sqlite3_temp_directory (a_value: POINTER)
{}
top
Set variable sqlite3_temp_directory value
sqlite3_test_control (an_op: INTEGER_32): INTEGER_32
{}
top
function sqlite3_test_control (in /usr/include/sqlite3.h) sqlite3_test_control (variadic call)
sqlite3_threadsafe: INTEGER_32
{}
top
function sqlite3_threadsafe (in /usr/include/sqlite3.h) sqlite3_threadsafe
sqlite3_total_changes (an_argument_l73_c7: POINTER): INTEGER_32
{}
top
function sqlite3_total_changes (in /usr/include/sqlite3.h) sqlite3_total_changes
sqlite3_trace (an_argument_l158_c7: POINTER, a_x_trace: POINTER, an_argument_l160_c7: POINTER): POINTER
{}
top
function sqlite3_trace (in /usr/include/sqlite3.h) sqlite3_trace
sqlite3_unlock_notify (a_p_blocked: POINTER, a_x_notify: POINTER, a_p_notify_arg: POINTER): INTEGER_32
{}
top
function sqlite3_unlock_notify (in /usr/include/sqlite3.h) sqlite3_unlock_notify
sqlite3_update_hook (an_argument_l697_c7: POINTER, an_argument_l698_c7: POINTER, an_argument_l699_c7: POINTER): POINTER
{}
top
function sqlite3_update_hook (in /usr/include/sqlite3.h) sqlite3_update_hook
sqlite3_uri_boolean (a_z_file: POINTER, a_z_param: POINTER, a_b_default: INTEGER_32): INTEGER_32
{}
top
function sqlite3_uri_boolean (in /usr/include/sqlite3.h) sqlite3_uri_boolean
sqlite3_uri_int64 (an_argument_l197_c7: POINTER, an_argument_l198_c7: POINTER, an_argument_l199_c7: INTEGER_64): INTEGER_64
{}
top
function sqlite3_uri_int64 (in /usr/include/sqlite3.h) sqlite3_uri_int64
sqlite3_uri_parameter (a_z_filename: POINTER, a_z_param: POINTER): POINTER
{}
top
function sqlite3_uri_parameter (in /usr/include/sqlite3.h) sqlite3_uri_parameter
sqlite3_user_data (an_argument_l521_c7: POINTER): POINTER
{}
top
function sqlite3_user_data (in /usr/include/sqlite3.h) sqlite3_user_data
sqlite3_value_blob (an_argument_l472_c7: POINTER): POINTER
{}
top
function sqlite3_value_blob (in /usr/include/sqlite3.h) sqlite3_value_blob
sqlite3_value_bytes (an_argument_l475_c7: POINTER): INTEGER_32
{}
top
function sqlite3_value_bytes (in /usr/include/sqlite3.h) sqlite3_value_bytes
sqlite3_value_bytes16 (an_argument_l478_c7: POINTER): INTEGER_32
{}
top
function sqlite3_value_bytes16 (in /usr/include/sqlite3.h) sqlite3_value_bytes16
sqlite3_value_double (an_argument_l481_c7: POINTER): REAL_64
{}
top
function sqlite3_value_double (in /usr/include/sqlite3.h) sqlite3_value_double
sqlite3_value_dup (an_argument_l511_c7: POINTER): POINTER
{}
top
function sqlite3_value_dup (in /usr/include/sqlite3.h) sqlite3_value_dup
sqlite3_value_free (an_argument_l514_c7: POINTER)
{}
top
function sqlite3_value_free (in /usr/include/sqlite3.h) sqlite3_value_free
sqlite3_value_int (an_argument_l484_c7: POINTER): INTEGER_32
{}
top
function sqlite3_value_int (in /usr/include/sqlite3.h) sqlite3_value_int
sqlite3_value_int64 (an_argument_l487_c7: POINTER): INTEGER_64
{}
top
function sqlite3_value_int64 (in /usr/include/sqlite3.h) sqlite3_value_int64
sqlite3_value_numeric_type (an_argument_l505_c7: POINTER): INTEGER_32
{}
top
function sqlite3_value_numeric_type (in /usr/include/sqlite3.h) sqlite3_value_numeric_type
sqlite3_value_subtype (an_argument_l508_c7: POINTER): NATURAL_32
{}
top
function sqlite3_value_subtype (in /usr/include/sqlite3.h) sqlite3_value_subtype
sqlite3_value_text (an_argument_l490_c7: POINTER): POINTER
{}
top
function sqlite3_value_text (in /usr/include/sqlite3.h) sqlite3_value_text
sqlite3_value_text16 (an_argument_l493_c7: POINTER): POINTER
{}
top
function sqlite3_value_text16 (in /usr/include/sqlite3.h) sqlite3_value_text16
sqlite3_value_text16be (an_argument_l499_c7: POINTER): POINTER
{}
top
function sqlite3_value_text16be (in /usr/include/sqlite3.h) sqlite3_value_text16be
sqlite3_value_text16le (an_argument_l496_c7: POINTER): POINTER
{}
top
function sqlite3_value_text16le (in /usr/include/sqlite3.h) sqlite3_value_text16le
sqlite3_value_type (an_argument_l502_c7: POINTER): INTEGER_32
{}
top
function sqlite3_value_type (in /usr/include/sqlite3.h) sqlite3_value_type
sqlite3_version: POINTER
{}
top
sqlite3_version
address_of_sqlite3_version: POINTER
{}
top
Address of sqlite3_version
set_sqlite3_version (a_value: POINTER)
{}
top
Set variable sqlite3_version value
sqlite3_vfs_find (a_z_vfs_name: POINTER): POINTER
{}
top
function sqlite3_vfs_find (in /usr/include/sqlite3.h) sqlite3_vfs_find
sqlite3_vfs_register (an_argument_l810_c7: POINTER, a_make_dflt: INTEGER_32): INTEGER_32
{}
top
function sqlite3_vfs_register (in /usr/include/sqlite3.h) sqlite3_vfs_register
sqlite3_vfs_unregister (an_argument_l814_c7: POINTER): INTEGER_32
{}
top
function sqlite3_vfs_unregister (in /usr/include/sqlite3.h) sqlite3_vfs_unregister
sqlite3_vmprintf (an_argument_l109_c7: POINTER, an_argument_l110_c7: POINTER): POINTER
{}
top
function sqlite3_vmprintf (in /usr/include/sqlite3.h) sqlite3_vmprintf
sqlite3_vsnprintf (an_argument_l119_c7: INTEGER_32, an_argument_l120_c7: POINTER, an_argument_l121_c7: POINTER, an_argument_l122_c7: POINTER): POINTER
{}
top
function sqlite3_vsnprintf (in /usr/include/sqlite3.h) sqlite3_vsnprintf
sqlite3_vtab_config (an_argument_l952_c7: POINTER, an_op: INTEGER_32): INTEGER_32
{}
top
function sqlite3_vtab_config (in /usr/include/sqlite3.h) sqlite3_vtab_config (variadic call)
sqlite3_vtab_on_conflict (an_argument_l957_c7: POINTER): INTEGER_32
{}
top
function sqlite3_vtab_on_conflict (in /usr/include/sqlite3.h) sqlite3_vtab_on_conflict
sqlite3_wal_autocheckpoint (a_db: POINTER, a_n: INTEGER_32): INTEGER_32
{}
top
function sqlite3_wal_autocheckpoint (in /usr/include/sqlite3.h) sqlite3_wal_autocheckpoint
sqlite3_wal_checkpoint (a_db: POINTER, a_z_db: POINTER): INTEGER_32
{}
top
function sqlite3_wal_checkpoint (in /usr/include/sqlite3.h) sqlite3_wal_checkpoint
sqlite3_wal_checkpoint_v2 (a_db: POINTER, a_z_db: POINTER, an_e_mode: INTEGER_32, a_pn_log: POINTER, a_pn_ckpt: POINTER): INTEGER_32
{}
top
function sqlite3_wal_checkpoint_v2 (in /usr/include/sqlite3.h) sqlite3_wal_checkpoint_v2
sqlite3_wal_hook (an_argument_l932_c7: POINTER, an_argument_l933_c7: POINTER, an_argument_l934_c7: POINTER): POINTER
{}
top
function sqlite3_wal_hook (in /usr/include/sqlite3.h) sqlite3_wal_hook
long: INTEGER_64
effective function
{ANY}
top
a query with the same type of c 'long int'.
long_unsigned: NATURAL_64
effective function
{ANY}
top
a query with the same type of c 'long unsigned int'.
comparison_fn_t: POINTER
effective function
{ANY}
top
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
timer_t: POINTER
effective function
{ANY}
top
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
clockid_t: INTEGER_32
effective function
{ANY}
top
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
time_t: INTEGER_64
effective function
{ANY}
top
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
clock_t: INTEGER_64
effective function
{ANY}
top
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
uintmax_t: NATURAL_64
effective function
{ANY}
top
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intmax_t: INTEGER_64
effective function
{ANY}
top
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uintptr_t: NATURAL_64
effective function
{ANY}
top
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
intptr_t: INTEGER_64
effective function
{ANY}
top
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast64_t: NATURAL_64
effective function
{ANY}
top
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast32_t: NATURAL_64
effective function
{ANY}
top
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast16_t: NATURAL_64
effective function
{ANY}
top
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_fast8_t: CHARACTER
effective function
{ANY}
top
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast64_t: INTEGER_64
effective function
{ANY}
top
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast32_t: INTEGER_64
effective function
{ANY}
top
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast16_t: INTEGER_64
effective function
{ANY}
top
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_fast8_t: CHARACTER
effective function
{ANY}
top
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least64_t: NATURAL_64
effective function
{ANY}
top
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least32_t: NATURAL_32
effective function
{ANY}
top
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least16_t: NATURAL_16
effective function
{ANY}
top
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint_least8_t: CHARACTER
effective function
{ANY}
top
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least64_t: INTEGER_64
effective function
{ANY}
top
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least32_t: INTEGER_32
effective function
{ANY}
top
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least16_t: INTEGER_16
effective function
{ANY}
top
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int_least8_t: CHARACTER
effective function
{ANY}
top
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint64_t: NATURAL_64
effective function
{ANY}
top
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint32_t: NATURAL_32
effective function
{ANY}
top
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint16_t: NATURAL_16
effective function
{ANY}
top
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
uint8_t: CHARACTER
effective function
{ANY}
top
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int64_t: INTEGER_64
effective function
{ANY}
top
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int32_t: INTEGER_32
effective function
{ANY}
top
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int16_t: INTEGER_16
effective function
{ANY}
top
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
int8_t: CHARACTER
effective function
{ANY}
top
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ssize_t: INTEGER_64
effective function
{ANY}
top
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
off64_t: INTEGER_64
effective function
{ANY}
top
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
off_t: INTEGER_64
effective function
{ANY}
top
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
size_t: NATURAL_64
effective function
{ANY}
top
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ptrdiff_t: INTEGER_64
effective function
{ANY}
top
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
error_t: INTEGER_32
effective function
{ANY}
top
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
sqlite_ok: INTEGER_32
{}
top
SQL error or missing database
sqlite_error: INTEGER_32
{}
top
SQL error or missing database
sqlite_internal: INTEGER_32
{}
top
An internal logic error in SQLite
sqlite_perm: INTEGER_32
{}
top
Access permission denied
sqlite_abort: INTEGER_32
{}
top
Callback routine requested an abort
sqlite_busy: INTEGER_32
{}
top
The database file is locked
sqlite_locked: INTEGER_32
{}
top
A table in the database is locked
sqlite_nomem: INTEGER_32
{}
top
A malloc() failed
sqlite_readonly: INTEGER_32
{}
top
Attempt to write a readonly database
sqlite_interrupt: INTEGER_32
{}
top
Operation terminated by sqlite_interrupt()
sqlite_ioerr: INTEGER_32
{}
top
Some kind of disk I/O error occurred
sqlite_corrupt: INTEGER_32
{}
top
The database disk image is malformed
sqlite_notfound: INTEGER_32
{}
top
(Internal Only) Table or record not found
sqlite_full: INTEGER_32
{}
top
Insertion failed because database is full
sqlite_cantopen: INTEGER_32
{}
top
Unable to open the database file
sqlite_protocol: INTEGER_32
{}
top
Database lock protocol error
sqlite_empty: INTEGER_32
{}
top
(Internal Only) Database table is empty
sqlite_schema: INTEGER_32
{}
top
The database schema changed
sqlite_toobig: INTEGER_32
{}
top
Too much data for one row of a table
sqlite_constraint: INTEGER_32
{}
top
Abort due to constraint violation
sqlite_mismatch: INTEGER_32
{}
top
Data type mismatch
sqlite_misuse: INTEGER_32
{}
top
Library used incorrectly
sqlite_nolfs: INTEGER_32
{}
top
Uses OS features not supported on host
sqlite_auth: INTEGER_32
{}
top
Authorization denied
sqlite_row: INTEGER_32
{}
top
sqlite_step() has another row ready
sqlite_done: INTEGER_32
{}
top
sqlite_step() has finished executing
error_message (code: INTEGER_32): STRING
effective function
{}
top
Check_instruction: INTEGER_32
is 1
constant attribute
{ANY}
top
Exception code for violated check.
Class_invariant: INTEGER_32
is 2
constant attribute
{ANY}
top
Exception code for violated class invariant.
Developer_exception: INTEGER_32
is 3
constant attribute
{ANY}
top
Exception code for developer exception.
Incorrect_inspect_value: INTEGER_32
is 4
constant attribute
{ANY}
top
Exception code for inspect statement.
Loop_invariant: INTEGER_32
is 5
constant attribute
{ANY}
top
Exception code for violated loop invariant
Loop_variant: INTEGER_32
is 6
constant attribute
{ANY}
top
Exception code for non-decreased loop variant
No_more_memory: INTEGER_32
is 7
constant attribute
{ANY}
top
Exception code for failed memory allocation
Postcondition: INTEGER_32
is 8
constant attribute
{ANY}
top
Exception code for violated postcondition.
Precondition: INTEGER_32
is 9
constant attribute
{ANY}
top
Exception code for violated precondition.
Routine_failure: INTEGER_32
is 10
constant attribute
{ANY}
top
Exception code for failed routine.
Os_signal: INTEGER_32
is 11
constant attribute
{ANY}
top
Exception code for a signal received from the OS.
Void_attached_to_expanded: INTEGER_32
is 12
constant attribute
{ANY}
top
Exception code for attachment of Void value to expanded entity.
Void_call_target: INTEGER_32
is 13
constant attribute
{ANY}
top
Exception code for feature applied to Void reference
System_level_type_error: INTEGER_32
is 14
constant attribute
{ANY}
top
Exception code for the system-level type error (this kind of error mostly arise with covariant redefinition).
exception_name: STRING
effective function
{ANY}
top
name_of_exception (a_exception: INTEGER_32): STRING
effective function
{ANY}
top
developer_exception: EXCEPTION
effective function
{ANY}
top
The last developer-thrown exception.
developer_exception_name: STRING
effective function
{ANY}
top
Name of last developer-raised exception.
is_developer_exception: BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception?
is_developer_named_exception: BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception?
is_developer_exception_of_name (name: STRING): BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception of name name?
assertion_violation: BOOLEAN
effective function
{ANY}
top
Is last exception originally due to a violated assertion or non-decreasing variant?
exception: INTEGER_32
{ANY}
top
Code of last exception that occurred.
is_signal: BOOLEAN
effective function
{ANY}
top
Is last exception originally due to an external event (operating system signal) ?
die (code: INTEGER_32)
effective procedure
{ANY}
top
Terminate execution with exit status code, without triggering an exception.
raise (name: STRING)
effective procedure
{ANY}
top
Raise a developer exception of name name.
throw (a_exception: EXCEPTION)
effective procedure
{ANY}
top
signal_number: INTEGER_32
{ANY}
top
Signal Number received from OS.
named_exception: NAMED_EXCEPTION
once function
{}
top
developer_exception_memory: REFERENCE[EXCEPTION]
once function
{}
top
raise_exception (code: INTEGER_32)
{}
top