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

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

//! Relation dependencies follow the selected regclass identity and its OID.

use super::*;
use crate::ast::{ColumnType, Statement};

struct Relations;

impl RoutineRelationOids for Relations {
    fn bound_regclass_oid(&self, name: &str) -> Result<Option<i64>, SQLError> {
        Ok((name == "public.target").then_some(42))
    }
}

#[test]
fn qualified_catalog_regclass_retains_relation_dependencies() {
    let Statement::CreateFunction(mut definition) = crate::compile(
        "CREATE FUNCTION sequence_value() RETURNS bigint LANGUAGE SQL RETURN nextval('target'::pg_catalog.regclass)",
    )
    .unwrap()
    .remove(0) else {
        panic!("routine definition")
    };
    let FunctionBody::Statements(statements) = &mut definition.body else {
        panic!("stored SQL body")
    };
    for statement in statements {
        crate::catalog::stored_ast::visit_stored_statement_expressions(statement, &mut |node| {
            if matches!(node, Expr::Literal(Value::Str(_))) {
                *node = Expr::TypedLiteral {
                    collation_oid: None,
                    composite_source: None,
                    value: Value::Int(42),
                    ty: ColumnType::Regclass.catalog_name(),
                };
            }
            Ok(())
        })
        .unwrap();
    }
    assert!(stored_routine_references_relations(
        &Relations,
        &definition,
        &BTreeSet::from(["public.target".into()]),
    )
    .unwrap());
    assert!(!stored_routine_references_relations(
        &Relations,
        &definition,
        &BTreeSet::from(["public.other".into()]),
    )
    .unwrap());
    assert!(!is_regclass(&ColumnType::Regtype.catalog_name()));
    assert!(!is_regclass("domain#50001"));
}