uqa-sql 0.5.4

PostgreSQL-compatible SQL compiler built on libpg_query
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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

//
// Unified Query Algebra
//
// Copyright (c) 2023-2026 Cognica, Inc.
//

//! Scalar catalog constants validate their owned physical bounds before output.

use super::{deparse, values, Field, Node, Routines};
use crate::ColumnType;
use uqa_core::Value;

fn replace(node: &mut Node, name: &str, value: Field) {
    node.fields
        .iter_mut()
        .find(|(key, _)| key == name)
        .unwrap()
        .1 = value;
}

#[test]
fn scalar_datums_reject_truncated_overlong_and_inconsistent_layouts() {
    for (ty, value) in [
        (ColumnType::Bytea, Value::Bytes(vec![0, 255])),
        (
            ColumnType::Uuid,
            Value::Str("00112233-4455-6677-8899-aabbccddeeff".into()),
        ),
        (ColumnType::Json, Value::Json(r#"{"x":1}"#.into())),
        (ColumnType::JsonB, Value::JsonB(r#"{"x":1}"#.into())),
    ] {
        let valid = values::constant(&value, &ty).unwrap();
        let Field::Datum { length, bytes } = valid.field("constvalue").unwrap() else {
            panic!("physical constant")
        };
        let mut truncated = bytes.clone();
        truncated.pop();
        let mut extended = bytes.clone();
        extended.push(0);
        for (field, value) in [
            ("constbyval", true.into()),
            ("constlen", 0.into()),
            (
                "constvalue",
                Field::Datum {
                    length: length - 1,
                    bytes: bytes.clone(),
                },
            ),
            (
                "constvalue",
                Field::Datum {
                    length: length - 1,
                    bytes: truncated,
                },
            ),
            (
                "constvalue",
                Field::Datum {
                    length: length + 1,
                    bytes: extended,
                },
            ),
        ] {
            let mut node = valid.clone();
            replace(&mut node, field, value);
            for pretty in [false, true] {
                assert!(
                    deparse::expression(&node.clone().into(), &Routines, pretty).is_err(),
                    "{ty:?} {field}"
                );
            }
        }
    }
}

#[test]
fn malformed_json_payloads_fail_and_null_constants_never_read_payloads() {
    for (ty, payload) in [
        (ColumnType::Json, vec![20, 0, 0, 0, 255]),
        (ColumnType::JsonB, vec![16, 0, 0, 0]),
    ] {
        let mut node = values::constant(&Value::Null, &ty).unwrap();
        replace(&mut node, "constisnull", false.into());
        replace(
            &mut node,
            "constvalue",
            Field::Datum {
                length: payload.len(),
                bytes: payload,
            },
        );
        assert!(deparse::expression(&node.into(), &Routines, false).is_err());
    }
    for ty in [
        ColumnType::Bytea,
        ColumnType::Uuid,
        ColumnType::Json,
        ColumnType::JsonB,
    ] {
        let mut node = values::constant(&Value::Null, &ty).unwrap();
        replace(
            &mut node,
            "constvalue",
            Field::Datum {
                length: usize::MAX,
                bytes: vec![],
            },
        );
        for pretty in [false, true] {
            assert_eq!(
                deparse::expression(&node.clone().into(), &Routines, pretty).unwrap(),
                format!("NULL::{}", ty.sql_name())
            );
        }
    }
}