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

use radixdb_sql::Statement;

use crate::{Diagnostic, DiagnosticKind, ProceduralResult, SourceSpan};

pub(super) fn verify_sql_statement(
    statement: &Statement,
    span: Option<&SourceSpan>,
) -> ProceduralResult<()> {
    match statement {
        Statement::Begin(_)
        | Statement::Commit(_)
        | Statement::Rollback(_)
        | Statement::Savepoint(_)
        | Statement::ReleaseSavepoint(_) => Err(Diagnostic::new(
            DiagnosticKind::VerifyTransactionControlForbidden,
            "transaction control is forbidden inside procedural IR",
        )
        .with_primary_span(span.cloned())),
        Statement::Select(_)
        | Statement::Insert(_)
        | Statement::Update(_)
        | Statement::Delete(_)
        | Statement::Call(_) => Ok(()),
        _ => Err(Diagnostic::new(
            DiagnosticKind::VerifyDynamicDdlNotSupported,
            "statement kind is not admitted inside procedural IR",
        )
        .with_primary_span(span.cloned())),
    }
}

/// Apply the same fail-closed SQL-leaf admission used by verified IR.
///
/// Dynamic SQL calls this only after the shared SQL parser has produced
/// exactly one statement.
pub fn admit_embedded_sql(statement: &Statement) -> ProceduralResult<()> {
    verify_sql_statement(statement, None)
}