2018-06-10 18:16:54 +08:00
|
|
|
//! Array Virtual Table
|
|
|
|
//! Port of [carray](http://www.sqlite.org/cgi/src/finfo?name=ext/misc/carray.c) C extension.
|
|
|
|
use std::default::Default;
|
|
|
|
use std::os::raw::{c_char, c_int, c_void};
|
|
|
|
use std::rc::Rc;
|
|
|
|
|
|
|
|
use ffi;
|
|
|
|
use types::{ToSql, ToSqlOutput, Value};
|
2018-07-15 00:47:52 +08:00
|
|
|
use vtab::{eponymous_only_module, Context, IndexConstraintOp, IndexInfo, Module, VTab, VTabConnection, VTabCursor, Values};
|
|
|
|
use {Connection, Result};
|
2018-06-10 18:16:54 +08:00
|
|
|
|
|
|
|
// http://sqlite.org/bindptr.html
|
|
|
|
|
|
|
|
pub(crate) const ARRAY_TYPE: *const c_char = b"rarray\0" as *const u8 as *const c_char;
|
|
|
|
|
|
|
|
pub(crate) unsafe extern "C" fn free_array(p: *mut c_void) {
|
|
|
|
let _: Array = Rc::from_raw(p as *const Vec<Value>);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub type Array = Rc<Vec<Value>>;
|
|
|
|
|
|
|
|
impl ToSql for Array {
|
|
|
|
fn to_sql(&self) -> Result<ToSqlOutput> {
|
|
|
|
Ok(ToSqlOutput::Array(self.clone()))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Register the "rarray" module.
|
|
|
|
pub fn load_module(conn: &Connection) -> Result<()> {
|
|
|
|
let aux: Option<()> = None;
|
2018-07-15 00:47:52 +08:00
|
|
|
conn.create_module::<ArrayTab>("rarray", &ARRAY_MODULE, aux)
|
2018-06-10 18:16:54 +08:00
|
|
|
}
|
|
|
|
|
2018-07-15 00:47:52 +08:00
|
|
|
lazy_static! {
|
|
|
|
static ref ARRAY_MODULE: Module<ArrayTab> = eponymous_only_module::<ArrayTab>();
|
2018-06-21 02:01:38 +08:00
|
|
|
}
|
|
|
|
|
2018-06-10 18:16:54 +08:00
|
|
|
// Column numbers
|
|
|
|
// const CARRAY_COLUMN_VALUE : c_int = 0;
|
|
|
|
const CARRAY_COLUMN_POINTER: c_int = 1;
|
|
|
|
|
|
|
|
/// An instance of the Array virtual table
|
|
|
|
#[repr(C)]
|
|
|
|
struct ArrayTab {
|
|
|
|
/// Base class. Must be first
|
|
|
|
base: ffi::sqlite3_vtab,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl VTab for ArrayTab {
|
2018-07-15 00:47:52 +08:00
|
|
|
type Aux = ();
|
2018-06-10 18:16:54 +08:00
|
|
|
type Cursor = ArrayTabCursor;
|
|
|
|
|
2018-07-15 00:47:52 +08:00
|
|
|
fn connect(
|
|
|
|
_: &mut VTabConnection,
|
|
|
|
_aux: Option<&()>,
|
|
|
|
_args: &[&[u8]],
|
|
|
|
) -> Result<(String, ArrayTab)> {
|
|
|
|
let vtab = ArrayTab {
|
|
|
|
base: ffi::sqlite3_vtab::default(),
|
|
|
|
};
|
|
|
|
Ok(("CREATE TABLE x(value,pointer hidden)".to_owned(), vtab))
|
|
|
|
}
|
|
|
|
|
2018-06-10 18:16:54 +08:00
|
|
|
fn best_index(&self, info: &mut IndexInfo) -> Result<()> {
|
|
|
|
// Index of the pointer= constraint
|
|
|
|
let mut ptr_idx = None;
|
|
|
|
for (i, constraint) in info.constraints().enumerate() {
|
|
|
|
if !constraint.is_usable() {
|
|
|
|
continue;
|
|
|
|
}
|
2018-07-15 00:47:52 +08:00
|
|
|
if constraint.operator() != IndexConstraintOp::SQLITE_INDEX_CONSTRAINT_EQ {
|
2018-06-10 18:16:54 +08:00
|
|
|
continue;
|
|
|
|
}
|
2018-06-21 01:12:02 +08:00
|
|
|
if let CARRAY_COLUMN_POINTER = constraint.column() {
|
|
|
|
ptr_idx = Some(i);
|
2018-06-10 18:16:54 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if let Some(ptr_idx) = ptr_idx {
|
|
|
|
{
|
|
|
|
let mut constraint_usage = info.constraint_usage(ptr_idx);
|
|
|
|
constraint_usage.set_argv_index(1);
|
|
|
|
constraint_usage.set_omit(true);
|
|
|
|
}
|
|
|
|
info.set_estimated_cost(1f64);
|
|
|
|
info.set_estimated_rows(100);
|
|
|
|
info.set_idx_num(1);
|
|
|
|
} else {
|
|
|
|
info.set_estimated_cost(2_147_483_647f64);
|
|
|
|
info.set_estimated_rows(2_147_483_647);
|
|
|
|
info.set_idx_num(0);
|
|
|
|
}
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn open(&self) -> Result<ArrayTabCursor> {
|
|
|
|
Ok(ArrayTabCursor::new())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// A cursor for the Array virtual table
|
|
|
|
#[repr(C)]
|
|
|
|
struct ArrayTabCursor {
|
|
|
|
/// Base class. Must be first
|
|
|
|
base: ffi::sqlite3_vtab_cursor,
|
|
|
|
/// The rowid
|
|
|
|
row_id: i64,
|
|
|
|
/// Pointer to the array of values ("pointer")
|
|
|
|
ptr: Option<Array>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ArrayTabCursor {
|
|
|
|
fn new() -> ArrayTabCursor {
|
|
|
|
ArrayTabCursor {
|
2018-06-29 03:07:05 +08:00
|
|
|
base: ffi::sqlite3_vtab_cursor::default(),
|
2018-06-10 18:16:54 +08:00
|
|
|
row_id: 0,
|
|
|
|
ptr: None,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
fn len(&self) -> i64 {
|
|
|
|
match self.ptr {
|
|
|
|
Some(ref a) => a.len() as i64,
|
|
|
|
_ => 0,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
impl VTabCursor for ArrayTabCursor {
|
|
|
|
type Table = ArrayTab;
|
|
|
|
|
|
|
|
fn filter(&mut self, idx_num: c_int, _idx_str: Option<&str>, args: &Values) -> Result<()> {
|
|
|
|
if idx_num > 0 {
|
|
|
|
self.ptr = try!(args.get_array(0));
|
|
|
|
} else {
|
|
|
|
self.ptr = None;
|
|
|
|
}
|
|
|
|
self.row_id = 1;
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
fn next(&mut self) -> Result<()> {
|
|
|
|
self.row_id += 1;
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
fn eof(&self) -> bool {
|
|
|
|
self.row_id > self.len()
|
|
|
|
}
|
|
|
|
fn column(&self, ctx: &mut Context, i: c_int) -> Result<()> {
|
|
|
|
match i {
|
|
|
|
CARRAY_COLUMN_POINTER => Ok(()),
|
|
|
|
_ => {
|
|
|
|
if let Some(ref array) = self.ptr {
|
2018-06-12 03:30:55 +08:00
|
|
|
let value = &array[(self.row_id - 1) as usize];
|
2018-06-10 18:16:54 +08:00
|
|
|
ctx.set_result(&value)
|
|
|
|
} else {
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
fn rowid(&self) -> Result<i64> {
|
|
|
|
Ok(self.row_id)
|
|
|
|
}
|
|
|
|
}
|
2018-06-12 03:30:55 +08:00
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod test {
|
|
|
|
use std::rc::Rc;
|
|
|
|
use types::Value;
|
|
|
|
use vtab::array;
|
|
|
|
use Connection;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
#[cfg_attr(rustfmt, rustfmt_skip)]
|
|
|
|
fn test_array_module() {
|
|
|
|
let db = Connection::open_in_memory().unwrap();
|
|
|
|
array::load_module(&db).unwrap();
|
|
|
|
|
|
|
|
let v = vec![1i64, 2, 3, 4];
|
|
|
|
let values = v.into_iter().map(|i| Value::from(i)).collect();
|
|
|
|
let ptr = Rc::new(values);
|
|
|
|
let mut stmt = db.prepare("SELECT value from rarray(?);").unwrap();
|
|
|
|
|
|
|
|
let rows = stmt.query_map(&[&ptr], |row| row.get::<_, i64>(0)).unwrap();
|
2018-06-12 03:39:08 +08:00
|
|
|
assert_eq!(2, Rc::strong_count(&ptr));
|
2018-06-12 03:30:55 +08:00
|
|
|
let mut count = 0;
|
|
|
|
for (i, value) in rows.enumerate() {
|
|
|
|
assert_eq!(i as i64, value.unwrap()-1);
|
|
|
|
count += 1;
|
|
|
|
}
|
|
|
|
assert_eq!(4, count);
|
2018-06-12 03:39:08 +08:00
|
|
|
assert_eq!(1, Rc::strong_count(&ptr));
|
2018-06-12 03:30:55 +08:00
|
|
|
}
|
|
|
|
}
|