radixdb-procedural 1.1.0

Verified bounded procedural runtime contracts for RadixDB
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

use radixdb_core::DataType;

use super::{invalid, scalar, slot};
use crate::{ProceduralResult, Program, RuntimeType, SlotId, SourceSpan};

pub(super) fn verify_quote_sql_identifier(
    program: &Program,
    destination: SlotId,
    source: SlotId,
    span: Option<&SourceSpan>,
) -> ProceduralResult<()> {
    scalar(program, source, DataType::Text, span)?;
    if !matches!(
        slot(program, destination, span)?.runtime_type(),
        RuntimeType::SqlIdentifier
    ) {
        return Err(invalid(span, "quoted identifier destination is not typed"));
    }
    Ok(())
}

pub(super) fn verify_concatenate_sql_text(
    program: &Program,
    destination: SlotId,
    left: SlotId,
    right: SlotId,
    span: Option<&SourceSpan>,
) -> ProceduralResult<()> {
    let (_, destination_nullable) = scalar(program, destination, DataType::Text, span)?;
    let mut nullable = false;
    for operand in [left, right] {
        match slot(program, operand, span)?.runtime_type() {
            RuntimeType::Scalar {
                data_type,
                nullable: operand_nullable,
            } if data_type.logical_type() == DataType::Text => nullable |= *operand_nullable,
            RuntimeType::SqlIdentifier => {}
            _ => {
                return Err(invalid(
                    span,
                    "dynamic SQL concatenation operand is not TEXT or identifier",
                ));
            }
        }
    }
    if nullable && !destination_nullable {
        return Err(invalid(
            span,
            "nullable dynamic SQL concatenation requires nullable TEXT",
        ));
    }
    Ok(())
}