uqa-execution 0.3.5

Volcano physical operators with row-batch pipelines
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
118
119
120
121
122
123
124
125
126
127
128

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

//! Variable resolution for bound PL/pgSQL expressions and statements.

use super::{DatumResolver, PLpgSQLDatum, ResolvedVariable, SQLError, Value, VariableResolver};
use uqa_sql::ast::ColumnType;

impl DatumResolver<'_> {
    pub(super) fn lookup(&self, name: &str) -> Option<usize> {
        if let Some(stack) = self.bindings.get(name) {
            return stack.last().copied();
        }
        let lower = name.to_ascii_lowercase();
        if lower != name {
            if let Some(stack) = self.bindings.get(&lower) {
                return stack.last().copied();
            }
        }
        None
    }

    pub(super) fn datum_type(&self, index: usize) -> Option<ColumnType> {
        match &self.datums[index] {
            PLpgSQLDatum::Var(variable) => self
                .services
                .expressions
                .catalog_column_type(&variable.type_name)
                .filter(|ty| !matches!(ty, ColumnType::AnyArray | ColumnType::Record)),
            PLpgSQLDatum::RecField { parent, field } => self.record_field_type(*parent, field),
            PLpgSQLDatum::Rec { .. } | PLpgSQLDatum::Row { .. } => None,
        }
    }

    fn record_field_type(&self, parent: usize, field: &str) -> Option<ColumnType> {
        let Value::Record(fields) = &self.values[parent] else {
            return None;
        };
        let index = fields.iter().position(|(name, _)| name == field)?;
        self.record_types.get(&parent)?.get(index)?.clone()
    }

    fn resolved_datum(&self, index: usize) -> ResolvedVariable {
        let value = match &self.datums[index] {
            PLpgSQLDatum::RecField { parent, field } => match &self.values[*parent] {
                Value::Record(fields) => fields
                    .iter()
                    .find(|(name, _)| name == field)
                    .map_or(Value::Null, |(_, value)| value.clone()),
                _ => Value::Null,
            },
            _ => self.values[index].clone(),
        };
        ResolvedVariable {
            value,
            declared_type: self.datum_type(index).map(|ty| ty.sql_name()),
        }
    }
}

impl VariableResolver for DatumResolver<'_> {
    fn resolve_name(&mut self, name: &str) -> Result<Option<ResolvedVariable>, SQLError> {
        if let Some((state, message)) = self.error {
            if name.eq_ignore_ascii_case("sqlstate") {
                return Ok(Some(ResolvedVariable {
                    value: Value::Str(state.clone()),
                    declared_type: Some("text".into()),
                }));
            }
            if name.eq_ignore_ascii_case("sqlerrm") {
                return Ok(Some(ResolvedVariable {
                    value: Value::Str(message.clone()),
                    declared_type: Some("text".into()),
                }));
            }
        }
        Ok(self.lookup(name).map(|index| self.resolved_datum(index)))
    }

    fn resolve_qualified(
        &mut self,
        qualifier: &str,
        column: &str,
    ) -> Result<Option<ResolvedVariable>, SQLError> {
        let Some(idx) = self.lookup(qualifier) else {
            return Ok(None);
        };
        match &self.datums[idx] {
            PLpgSQLDatum::Rec { name } => match &self.values[idx] {
                Value::Record(fields) => {
                    let value = fields
                        .iter()
                        .find(|(name, _)| name == column)
                        .map(|(_, value)| value.clone());
                    match value {
                        Some(value) => Ok(Some(ResolvedVariable {
                            value,
                            declared_type: self
                                .record_field_type(idx, column)
                                .map(|ty| ty.sql_name()),
                        })),
                        None => Err(SQLError::Routine {
                            sqlstate: "42703".into(),
                            message: format!("record \"{name}\" has no field \"{column}\""),
                        }),
                    }
                }
                Value::Null => Err(SQLError::Routine {
                    sqlstate: "55000".into(),
                    message: format!("record \"{name}\" is not assigned yet"),
                }),
                _ => Ok(None),
            },
            _ => Ok(None),
        }
    }

    fn resolve_param(&mut self, index: usize) -> Result<Option<ResolvedVariable>, SQLError> {
        if index >= 1 && index <= self.param_count {
            Ok(Some(self.resolved_datum(index - 1)))
        } else {
            Ok(None)
        }
    }
}