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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

//! HAVING without GROUP BY: allowed when the query is aggregated (the whole
//! result is one group), rejected on a non-aggregate query — matching SQLite.

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

use graphitesql::{Connection, Value};

fn setup() -> Connection {
    let mut c = Connection::open_memory().unwrap();
    c.execute("CREATE TABLE t(a INT)").unwrap();
    c.execute("INSERT INTO t VALUES(1),(2),(3)").unwrap();
    c
}

#[test]
fn having_without_group_by_over_aggregate() {
    let c = setup();
    // The whole table is one group; HAVING filters that group.
    assert_eq!(
        c.query("SELECT count(*) FROM t HAVING count(*) > 1")
            .unwrap()
            .rows[0][0],
        Value::Integer(3)
    );
    assert!(c
        .query("SELECT count(*) FROM t HAVING count(*) > 5")
        .unwrap()
        .rows
        .is_empty());
    assert_eq!(
        c.query("SELECT sum(a) FROM t HAVING max(a) = 3")
            .unwrap()
            .rows[0][0],
        Value::Integer(6)
    );
}

#[test]
fn having_on_non_aggregate_query_is_rejected() {
    let c = setup();
    assert!(c.query("SELECT a FROM t HAVING 1 = 1").is_err());
}

#[test]
fn having_on_from_less_query_is_rejected() {
    // A constant SELECT with no FROM and no aggregate context: SQLite errors
    // "HAVING clause on a non-aggregate query". (This used to slip through the
    // VDBE constant-SELECT fast path, which ignored the HAVING entirely.)
    let c = Connection::open_memory().unwrap();
    assert!(c.query("SELECT 1 HAVING 1").is_err());
    assert!(c.query("SELECT 1 HAVING 0").is_err());
}

#[test]
fn aggregate_only_in_having_is_not_an_aggregate_query() {
    // An aggregate appearing *only* inside HAVING does not make the query an
    // aggregate query — SQLite rejects HAVING there. Only a GROUP BY or a
    // result-column aggregate qualifies.
    let c = setup();
    assert!(c.query("SELECT 1 HAVING max(a) > 0").is_err());
    assert!(c.query("SELECT 1 HAVING count(*) > 0").is_err());
    assert!(c.query("SELECT 1 FROM t HAVING sum(a) > 0").is_err());
    // ...but a result-column aggregate does qualify, even with no FROM.
    assert_eq!(
        c.query("SELECT max(1) HAVING max(1) > 0").unwrap().rows[0][0],
        Value::Integer(1)
    );
    // ...and a GROUP BY qualifies even with no aggregate anywhere.
    assert_eq!(
        c.query("SELECT 1 GROUP BY 1 HAVING 1").unwrap().rows[0][0],
        Value::Integer(1)
    );
}

#[test]
fn group_by_having_still_works() {
    let mut c = setup();
    c.execute("INSERT INTO t VALUES(1)").unwrap();
    let r = c
        .query("SELECT a, count(*) FROM t GROUP BY a HAVING count(*) > 1")
        .unwrap();
    assert_eq!(r.rows, vec![vec![Value::Integer(1), Value::Integer(2)]]);
}