Merge pull request #190 from michaelsbradleyjr/lib_c_immutable_query

update doc comments for cozo_run_query
main
Ziyang Hu 11 months ago committed by GitHub
commit f79c9b1c15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -25,7 +25,7 @@ extern "C" {
*
* `engine`: which storage engine to use, can be "mem", "sqlite" or "rocksdb".
* `path`: should contain the UTF-8 encoded path name as a null-terminated C-string.
* `db_id`: will contain the id of the database opened.
* `db_id`: will contain the ID of the database opened.
* `options`: options for the DB constructor: engine dependent.
*
* When the function is successful, null pointer is returned,
@ -37,12 +37,12 @@ char *cozo_open_db(const char *engine, const char *path, const char *options, in
/**
* Close a database.
*
* `id`: the ID representing the database to close.
* `db_id`: the ID representing the database to close.
*
* Returns `true` if the database is closed,
* `false` if it has already been closed, or does not exist.
*/
bool cozo_close_db(int32_t id);
bool cozo_close_db(int32_t db_id);
/**
* Run query against a database.
@ -53,8 +53,7 @@ bool cozo_close_db(int32_t id);
* in JSON format. You must always pass in a valid JSON map,
* even if you do not use params in your query
* (pass "{}" in this case).
* `errored`: will point to `false` if the query is successful,
* `true` if an error occurred.
* `immutable_query`: whether the query is read-only.
*
* Returns a UTF-8-encoded C-string that **must** be freed with `cozo_free_str`.
* The string contains the JSON return value of the query.

@ -34,7 +34,7 @@ lazy_static! {
///
/// `engine`: which storage engine to use, can be "mem", "sqlite" or "rocksdb".
/// `path`: should contain the UTF-8 encoded path name as a null-terminated C-string.
/// `db_id`: will contain the id of the database opened.
/// `db_id`: will contain the ID of the database opened.
/// `options`: options for the DB constructor: engine dependent.
///
/// When the function is successful, null pointer is returned,
@ -76,15 +76,15 @@ pub unsafe extern "C" fn cozo_open_db(
/// Close a database.
///
/// `id`: the ID representing the database to close.
/// `db_id`: the ID representing the database to close.
///
/// Returns `true` if the database is closed,
/// `false` if it has already been closed, or does not exist.
#[no_mangle]
pub unsafe extern "C" fn cozo_close_db(id: i32) -> bool {
pub unsafe extern "C" fn cozo_close_db(db_id: i32) -> bool {
let db = {
let mut dbs = HANDLES.dbs.lock().unwrap();
dbs.remove(&id)
dbs.remove(&db_id)
};
db.is_some()
}
@ -97,8 +97,7 @@ pub unsafe extern "C" fn cozo_close_db(id: i32) -> bool {
/// in JSON format. You must always pass in a valid JSON map,
/// even if you do not use params in your query
/// (pass "{}" in this case).
/// `errored`: will point to `false` if the query is successful,
/// `true` if an error occurred.
/// `immutable_query`: whether the query is read-only.
///
/// Returns a UTF-8-encoded C-string that **must** be freed with `cozo_free_str`.
/// The string contains the JSON return value of the query.

Loading…
Cancel
Save