graphitesql 0.1.0

A pure, safe, no_std Rust re-implementation of SQLite, compatible with the SQLite 3 file format.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

//! SQLite forbids subqueries in CHECK constraints and generated-column
//! expressions, rejecting them when the table is created. graphitesql matches
//! that (rather than silently allowing and later evaluating them).

#![cfg(feature = "std")]

use graphitesql::Connection;
use std::process::Command;

fn sqlite3_available() -> bool {
    Command::new("sqlite3").arg("--version").output().is_ok()
}

fn sqlite_ok(sql: &str) -> bool {
    Command::new("sqlite3")
        .arg(":memory:")
        .arg(sql)
        .output()
        .unwrap()
        .status
        .success()
}

fn graphite_ok(sql: &str) -> bool {
    let mut c = Connection::open_memory().unwrap();
    c.execute(sql).is_ok()
}

fn agree(sql: &str) {
    let g = graphite_ok(sql);
    if sqlite3_available() {
        assert_eq!(g, sqlite_ok(sql), "graphite/sqlite disagree on: {sql}");
    }
}

#[test]
fn subqueries_prohibited_in_check_and_generated() {
    // Rejected at CREATE.
    assert!(!graphite_ok("CREATE TABLE t(a INT CHECK(a IN (SELECT 1)))"));
    assert!(!graphite_ok("CREATE TABLE t(a INT, CHECK(a > (SELECT 1)))"));
    assert!(!graphite_ok(
        "CREATE TABLE t(a INT CHECK(EXISTS(SELECT 1)))"
    ));
    assert!(!graphite_ok("CREATE TABLE t(a INT, b AS (a + (SELECT 1)))"));

    // Ordinary CHECK / generated columns still work.
    assert!(graphite_ok("CREATE TABLE t(a INT CHECK(a > 0))"));
    assert!(graphite_ok("CREATE TABLE t(a INT, b AS (a + 1))"));

    // And they agree with the sqlite3 CLI.
    agree("CREATE TABLE t(a INT CHECK(a IN (SELECT 1)))");
    agree("CREATE TABLE t(a INT, b INT, CHECK(a > (SELECT max(b) FROM t)))");
    agree("CREATE TABLE t(a INT CHECK(a > 0))");
    agree("CREATE TABLE t(a INT, b AS (a * 2) STORED)");
}