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

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

//! Boolean contexts validate base types while retaining declared diagnostic names.

use crate::{ColumnType, FunctionTypeResolver, SQLError};

pub(crate) fn require_argument_type(
    ty: Option<&ColumnType>,
    context: &str,
    resolver: Option<&dyn FunctionTypeResolver>,
) -> Result<(), SQLError> {
    let Some(ty) = ty else { return Ok(()) };
    if matches!(super::base_type(ty), ColumnType::Boolean) {
        Ok(())
    } else {
        let name = resolver.map_or_else(|| Ok(ty.regtype_name()), |r| r.format_type_name(ty))?;
        Err(SQLError::Routine {
            sqlstate: "42804".into(),
            message: format!("argument of {context} must be type boolean, not type {name}"),
        })
    }
}