+
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
{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.
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
ensure
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
top
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}
top
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}
top
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}
top
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}
top
Aggregate all the elements starting from the initial value.
See also for_each, for_all, exists.
require
  • action /= Void
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
  • 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))
generation: INTEGER_32
writable attribute
{ANY}
top
next_generation
effective procedure
{}
top
ensure
count: INTEGER_32
deferred function
{ANY}
top
Number of available items in the hoard.
See also is_empty
ensure
  • Result >= 0
is_empty: BOOLEAN
deferred function
{ANY}
top
Is the hoard empty ?
See also count.
ensure
  • definition: Result = count = 0
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
top
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
{}
top
lower: INTEGER_32
deferred function
{ANY}
top
Minimum index.
See also upper, valid_index, item.
upper: INTEGER_32
deferred function
{ANY}
top
Maximum index.
See also lower, valid_index, item.
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
top
True when i is valid (i.e., inside actual bounds).
See also lower, upper, item.
ensure
item (i: INTEGER_32): E_
deferred function
{ANY}
top
Item at the corresponding index i.
See also lower, upper, valid_index.
require
first: E_
deferred function
{ANY}
top
The very first item.
See also last, item.
require ensure
last: E_
deferred function
{ANY}
top
The last item.
See also first, item.
require ensure
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].
When new_count = 0 the array is empty.
require
  • new_count >= 0
ensure
with_capacity (needed_capacity: INTEGER_32)
effective procedure
{ANY}
top
Create an empty array with at least needed_capacity.
require
  • needed_capacity >= 0
ensure
resize (new_count: INTEGER_32)
effective procedure
{ANY}
top
Resize the array.
When new_count is greater than count, new positions are initialized with appropriate default values.
require
  • new_count >= 0
ensure
put (element: E_, i: INTEGER_32)
effective procedure
{ANY}
top
Make element the item at index i.
See also lower, upper, valid_index, item, swap, force.
require
    • valid_index(i)
    • valid_index(i)
ensure
  • item(i) = element
  • count = old count
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.
See also add_last, first, last, add.
ensure
  • first = element
  • count = 1 + old count
  • lower = old lower
  • upper = 1 + old upper
add_last (element: E_)
effective procedure
{ANY}
top
Add a new item at the end : count is increased by one.
See also add_first, last, first, add.
ensure
  • last = element
  • count = 1 + old count
  • lower = old lower
  • upper = 1 + old upper
clear_count
effective procedure
{ANY}
top
Discard all items (is_empty is True after that call).
If possible, the actual implementation supposed to keep its internal storage area in order to refill Current in an efficient way.
See also clear_count_and_capacity.
ensure
clear_count_and_capacity
effective procedure
{ANY}
top
Discard all items (is_empty is True after that call).
If possible, the actual implementation supposed to release its internal storage area for this memory to be used by other objects.
See also clear_count.
ensure
copy (other: SQLITE_RESULT_ROW)
effective procedure
{ANY}
top
Copy other onto Current.
require
    • not immutable
    • same_dynamic_type(other)
      • not immutable
      • same_dynamic_type(other)
        • not immutable
        • same_dynamic_type(other)
        • not immutable
        • same_dynamic_type(other)
ensure
  • is_equal(other)
set_all_with (v: E_)
effective procedure
{ANY}
top
Set all items with value v.
See also set_slice_with.
ensure
  • count = old count
from_collection (model: TRAVERSABLE[E_])
effective procedure
{ANY}
top
Initialize the current object with the contents of model.
require
    • model /= Void
    • useful_work: model /= Current
    • model /= Void
    • useful_work: model /= Current
ensure
  • count = model.count
fast_is_equal (other: SQLITE_RESULT_ROW): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
The basic = is used for comparison of items.
See also is_equal, same_items.
ensure
  • Result implies lower = other.lower and upper = other.upper
is_equal (other: SQLITE_RESULT_ROW): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
Feature is_equal is used for comparison of items.
See also fast_is_equal, same_items.
require
    • other /= Void
      • other /= Void
        • other /= Void
        • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
  • Result implies lower = other.lower and upper = other.upper
all_default: BOOLEAN
effective function
{ANY}
top
Do all items have their type's default value?
Note: for non Void items, the test is performed with the is_default predicate.
See also clear_all.
occurrences (element: E_): INTEGER_32
effective function
{ANY}
top
Number of occurrences of element using is_equal for comparison.
See also fast_occurrences, index_of.
ensure
  • Result >= 0
fast_occurrences (element: E_): INTEGER_32
effective function
{ANY}
top
Number of occurrences of element using basic = for comparison.
See also occurrences, index_of.
ensure
  • Result >= 0
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.
Answer upper + 1 when element is not inside.
See also fast_first_index_of, index_of, last_index_of, reverse_index_of.
ensure
  • definition: Result = index_of(element, lower)
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.
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(element, item(Result))
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.
Search is done in reverse direction, which means from the start_index down to the lower index . Answer lower -1 when the search fail.
See also fast_reverse_index_of, last_index_of, index_of.
require
    • valid_index(start_index)
    • valid_index(start_index)
ensure
  • Result.in_range(lower - 1, start_index)
  • valid_index(Result) implies item(Result).is_equal(element)
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.
Answer upper + 1 when element is not inside.
See also first_index_of, last_index_of, fast_last_index_of.
ensure
  • definition: Result = fast_index_of(element, lower)
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.
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 element = item(Result)
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.
Search is done in reverse direction, which means from the start_index down to the lower index . Answer lower -1 when the search fail.
See also reverse_index_of, fast_index_of, fast_last_index_of.
require
    • valid_index(start_index)
    • valid_index(start_index)
ensure
  • Result.in_range(lower - 1, start_index)
  • valid_index(Result) implies item(Result) = element
subarray (min: INTEGER_32, max: INTEGER_32): SQLITE_RESULT_ROW
effective function
{ANY}
top
New collection consisting of items at indexes in [min .. max].
Result has the same dynamic type as Current. See also slice.
require
  • lower <= min
  • max <= upper
  • min <= max + 1
ensure
  • same_dynamic_type(Result)
  • Result.count = max - min + 1
  • Result.lower = min or Result.lower = 0
slice (min: INTEGER_32, max: INTEGER_32): SQLITE_RESULT_ROW
effective function
{ANY}
top
New collection consisting of items at indexes in [min..max].
Result has the same dynamic type as Current. The lower index of the Result is the same as lower.
See also from_collection, move, replace_all.
require
    • lower <= min
    • max <= upper
    • min <= max + 1
    • lower <= min
    • max <= upper
    • min <= max + 1
ensure
  • same_dynamic_type(Result)
  • Result.count = max - min + 1
  • Result.lower = lower
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).
See also put, item, swap.
require
    • index >= lower
    • index >= lower
ensure
  • upper = index.max(old upper)
  • item(index) = element
remove_first
effective procedure
{ANY}
top
Remove the first element of the collection.
See also remove_last, remove, remove_head.
require
    • not is_empty
    • not is_empty
ensure
  • lower = old lower
  • count = old count - 1
  • lower = old lower + 1 xor upper = old upper - 1
remove_head (n: INTEGER_32)
effective procedure
{ANY}
top
Remove the n elements of the collection.
See also remove_tail, remove, remove_first.
require
    • n > 0 and n <= count
    • n > 0 and n <= count
ensure
  • count = old count - n
  • lower = old lower + n xor upper = old upper - n
remove (index: INTEGER_32)
effective procedure
{ANY}
top
Remove the item at position index.
Followings items are shifted left by one position.
See also remove_first, remove_head, remove_tail, remove_last.
require
    • valid_index(index)
    • valid_index(index)
ensure
  • count = old count - 1
  • upper = old upper - 1
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.
No time is lost to clean the released area with a Void or a 0 value. (Look for example the remove_last implementation.) Thus, the unused area of storage may contains references of actually unreachable objects. The following mark_native_arrays actually replace the default behavior (the call is automatic) in order to mark only reachable objects.
manifest_make (needed_capacity: INTEGER_32)
effective procedure
{}
top
Manifest creation of a FAST_ARRAY[E_].
require
  • needed_capacity > 0
manifest_put (index: INTEGER_32, element: E_)
effective procedure
{}
top
require
    • index >= 0
    • index >= 0
infix "@" (i: INTEGER_32): E_
frozen
effective function
{ANY}
top
The infix notation which is actually just a synonym for item.
See also item.
require ensure
  • definition: Result = item(i)
swap (i1: INTEGER_32, i2: INTEGER_32)
effective procedure
{ANY}
top
Swap item at index i1 with item at index i2.
See also item, put.
require ensure
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.
See also set_all_with.
require ensure
clear_all
effective procedure
{ANY}
top
Set every item to its default value.
The count is not affected.
See also clear, all_default.
ensure
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.
See also add_first, add_last, append_collection.
require ensure
append_collection (other: COLLECTION[E_])
effective procedure
{ANY}
top
Append other to Current.
This feature is obsolete: Use `append_traversable' instead.
append_traversable (other: TRAVERSABLE[E_])
effective procedure
{ANY}
top
Append other to Current.
See also add_last, add_first, add.
require
  • other /= Void
ensure
remove_last
deferred procedure
{ANY}
top
Remove the last item.
See also remove_first, remove, remove_tail.
require ensure
remove_tail (n: INTEGER_32)
deferred procedure
{ANY}
top
Remove the last n item(s).
See also remove_head, remove, remove_last.
require ensure
has (x: ANY): BOOLEAN
effective function
{ANY}
top
Look for x using is_equal for comparison.
See also fast_has, index_of, fast_index_of.
ensure
  • definition: Result = valid_index(first_index_of(x))
fast_has (x: ANY): BOOLEAN
effective function
{ANY}
top
Look for x using basic = for comparison.
See also has, fast_index_of, index_of.
ensure
  • definition: Result = valid_index(fast_first_index_of(x))
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.
Search is done in reverse direction, which means from the upper down to the lower index . Answer lower -1 when the search fail.
See also fast_last_index_of, reverse_index_of, index_of.
ensure
  • definition: Result = reverse_index_of(element, 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.
Search is done in reverse direction, which means from the upper down to the lower index . Answer lower -1 when the search fail.
See also fast_reverse_index_of, last_index_of.
ensure
  • definition: Result = fast_reverse_index_of(element, upper)
is_equal_map (other: SQLITE_RESULT_ROW): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
This feature is obsolete: Use `is_equal' instead.
same_items (other: COLLECTION[E_]): BOOLEAN
effective function
{ANY}
top
Do both collections have the same items?
The basic = is used for comparison of items and indices are not considered (for example this routine may yield True with Current indexed in range [1..2] and other indexed in range [2..3]).
See also is_equal, fast_is_equal.
require
  • other /= Void
ensure
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.
See also fast_replace_all, move.
ensure
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.
See also replace_all, move.
ensure
move (lower_index: INTEGER_32, upper_index: INTEGER_32, distance: INTEGER_32)
effective procedure
{ANY}
top
Move range lower_index ..
upper_index by distance positions. Negative distance moves towards lower indices. Free places get default values.
See also slice, replace_all.
require ensure
reverse
deferred procedure
{ANY}
top
Reverse the order of the elements.
ensure
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
require
  • a_capacity > 0 implies a_storage.is_not_null
ensure
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.
Result is pointing the element at index lower.
NOTE: do not free/realloc the Result. Resizing of the array 
      can makes this pointer invalid.
require ensure
  • Result.is_not_null
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.
Forces the garbage collector to continue the marking process on the index-th element of the native_array. The element at index can be Void or not Void (the Void-ness test performed inside the mark_item itself).
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
{WRAPPER_HANDLER}
top
a query with the same type of c 'long int'.
useful when dealing with code that uses long int variable: just insert th class and mark the type as 'like long'
long_unsigned: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
a query with the same type of c 'long unsigned int'.
useful when dealing with code that uses long int variable: just insert th class and mark the type as 'like long_unsigned'
comparison_fn_t: POINTER
effective function
{WRAPPER_HANDLER}
top
typedef comparison_fn_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
timer_t: POINTER
effective function
{WRAPPER_HANDLER}
top
typedef timer_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
clockid_t: INTEGER_32
effective function
{WRAPPER_HANDLER}
top
typedef clockid_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
time_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef time_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
clock_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef clock_t from /usr/include/time.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uintmax_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uintmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
intmax_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef intmax_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uintptr_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uintptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
intptr_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef intptr_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_fast64_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uint_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_fast32_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uint_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_fast16_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uint_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_fast8_t: CHARACTER
effective function
{WRAPPER_HANDLER}
top
typedef uint_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_fast64_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef int_fast64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_fast32_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef int_fast32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_fast16_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef int_fast16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_fast8_t: CHARACTER
effective function
{WRAPPER_HANDLER}
top
typedef int_fast8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_least64_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uint_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_least32_t: NATURAL_32
effective function
{WRAPPER_HANDLER}
top
typedef uint_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_least16_t: NATURAL_16
effective function
{WRAPPER_HANDLER}
top
typedef uint_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint_least8_t: CHARACTER
effective function
{WRAPPER_HANDLER}
top
typedef uint_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_least64_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef int_least64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_least32_t: INTEGER_32
effective function
{WRAPPER_HANDLER}
top
typedef int_least32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_least16_t: INTEGER_16
effective function
{WRAPPER_HANDLER}
top
typedef int_least16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int_least8_t: CHARACTER
effective function
{WRAPPER_HANDLER}
top
typedef int_least8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint64_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef uint64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint32_t: NATURAL_32
effective function
{WRAPPER_HANDLER}
top
typedef uint32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint16_t: NATURAL_16
effective function
{WRAPPER_HANDLER}
top
typedef uint16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
uint8_t: CHARACTER
effective function
{WRAPPER_HANDLER}
top
typedef uint8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int64_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef int64_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int32_t: INTEGER_32
effective function
{WRAPPER_HANDLER}
top
typedef int32_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int16_t: INTEGER_16
effective function
{WRAPPER_HANDLER}
top
typedef int16_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
int8_t: CHARACTER
effective function
{WRAPPER_HANDLER}
top
typedef int8_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
ssize_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef ssize_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
off64_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef off64_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
off_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef off_t from /usr/include/stdio.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
size_t: NATURAL_64
effective function
{WRAPPER_HANDLER}
top
typedef size_t from /usr/include/stdlib.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
ptrdiff_t: INTEGER_64
effective function
{WRAPPER_HANDLER}
top
typedef ptrdiff_t from /usr/include/stdint.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
error_t: INTEGER_32
effective function
{WRAPPER_HANDLER}
top
typedef error_t from /usr/include/errno.h Empty by design, used for anchored declarations.
ensure
  • Result.is_default
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.
See also: raise, throw
Incorrect_inspect_value: INTEGER_32
is 4
constant attribute
{ANY}
top
Exception code for inspect statement.
This exception occurs when Void is passed as the expression to inspect ("inspect on STRING only). This exception also occurs when the inspected value selects no branch (when the keyword "else" not used, one "when" branch _must_ be selected). Some value which is not one of the inspect constants, if there is no Else_part e
Loop_invariant: INTEGER_32
is 5
constant attribute
{ANY}
top
Exception code for violated loop invariant
Loop_variant: INTEGER_32
is 6
constant attribute
{ANY}
top
Exception code for non-decreased loop variant
No_more_memory: INTEGER_32
is 7
constant attribute
{ANY}
top
Exception code for failed memory allocation
Postcondition: INTEGER_32
is 8
constant attribute
{ANY}
top
Exception code for violated postcondition.
Precondition: INTEGER_32
is 9
constant attribute
{ANY}
top
Exception code for violated precondition.
Routine_failure: INTEGER_32
is 10
constant attribute
{ANY}
top
Exception code for failed routine.
Os_signal: INTEGER_32
is 11
constant attribute
{ANY}
top
Exception code for a signal received from the OS.
Void_attached_to_expanded: INTEGER_32
is 12
constant attribute
{ANY}
top
Exception code for attachment of Void value to expanded entity.
Void_call_target: INTEGER_32
is 13
constant attribute
{ANY}
top
Exception code for feature applied to Void reference
System_level_type_error: INTEGER_32
is 14
constant attribute
{ANY}
top
Exception code for the system-level type error (this kind of error mostly arise with covariant redefinition).
exception_name: STRING
effective function
{ANY}
top
name_of_exception (a_exception: INTEGER_32): STRING
effective function
{ANY}
top
developer_exception: EXCEPTION
effective function
{ANY}
top
The last developer-thrown exception.
require
developer_exception_name: STRING
effective function
{ANY}
top
Name of last developer-raised exception.
require
is_developer_exception: BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception?
is_developer_named_exception: BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception?
is_developer_exception_of_name (name: STRING): BOOLEAN
effective function
{ANY}
top
Is the last exception originally due to a developer exception of name name?
assertion_violation: BOOLEAN
effective function
{ANY}
top
Is last exception originally due to a violated assertion or non-decreasing variant?
exception: INTEGER_32
{ANY}
top
Code of last exception that occurred.
is_signal: BOOLEAN
effective function
{ANY}
top
Is last exception originally due to an external event (operating system signal) ?
die (code: INTEGER_32)
effective procedure
{ANY}
top
Terminate execution with exit status code, without triggering an exception.
raise (name: STRING)
effective procedure
{ANY}
top
Raise a developer exception of name name.
require
  • name /= Void
throw (a_exception: EXCEPTION)
effective procedure
{ANY}
top
require
  • a_exception /= Void
signal_number: INTEGER_32
{ANY}
top
Signal Number received from OS.
 Zero if exception is not an OS signal.
named_exception: NAMED_EXCEPTION
once function
{}
top
developer_exception_memory: REFERENCE[EXCEPTION]
once function
{}
top
raise_exception (code: INTEGER_32)
{}
top