spg-engine 7.37.24

Execution engine for SPG: glues spg-sql parsing to spg-storage. Foreign keys, joins, vectors, cold tier.
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

//! v7.38 (read01) — make_date rejects an out-of-range day for the month
//! instead of silently rolling over (`make_date(2024,2,30)` must error, not
//! become 2024-03-01). February honours the leap year. Oracle: live PG 18.4.

use spg_engine::{Engine, QueryResult};

fn text(e: &mut Engine, sql: &str) -> String {
    match e.execute(sql).unwrap() {
        QueryResult::Rows { rows, .. } => match &rows[0].values[0] {
            spg_storage::Value::Text(s) => s.to_string(),
            v => format!("{v:?}"),
        },
        _ => panic!("expected rows"),
    }
}

#[test]
fn make_date_validates_day_of_month() {
    let mut e = Engine::new();
    // Valid dates.
    assert_eq!(
        text(&mut e, "SELECT (make_date(2024,6,15))::text"),
        "2024-06-15"
    );
    assert_eq!(
        text(&mut e, "SELECT (make_date(2024,2,29))::text"),
        "2024-02-29"
    ); // leap
    assert_eq!(
        text(&mut e, "SELECT (make_date(2024,12,31))::text"),
        "2024-12-31"
    );
    // Out-of-range days / months error (no silent roll-over).
    assert!(e.execute("SELECT make_date(2024,2,30)").is_err());
    assert!(e.execute("SELECT make_date(2024,4,31)").is_err());
    assert!(e.execute("SELECT make_date(2023,2,29)").is_err()); // non-leap
    assert!(e.execute("SELECT make_date(2024,13,1)").is_err());
    assert!(e.execute("SELECT make_date(2024,6,0)").is_err());
}

#[test]
fn make_timestamp_validates_day_of_month() {
    let mut e = Engine::new();
    assert_eq!(
        text(
            &mut e,
            "SELECT (make_timestamp(2024,6,15,14,30,45.5))::text"
        ),
        "2024-06-15 14:30:45.5"
    );
    assert_eq!(
        text(&mut e, "SELECT (make_timestamp(2024,2,29,0,0,0))::text"),
        "2024-02-29 00:00:00"
    );
    // Out-of-range date / time components error, no roll-over.
    assert!(
        e.execute("SELECT make_timestamp(2024,2,30,12,0,0)")
            .is_err()
    );
    assert!(e.execute("SELECT make_timestamp(2024,4,31,0,0,0)").is_err());
    assert!(
        e.execute("SELECT make_timestamp(2024,6,15,25,0,0)")
            .is_err()
    );
}