uqa-sql 0.5.3

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
61
62
63
64
65

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

//! `PostgreSQL` JSONB container bytes, independent of the current composite descriptor.

use crate::error::{Result, SQLError};
use uqa_core::memory::{Produced, ProductionControl};

mod compare;
mod decode;
mod encode;
mod walk;
pub(in crate::expr) use compare::{compare_jsonb_datums_with_control, JsonbInput};
#[cfg(test)]
mod tests;

const COUNT_MASK: u32 = 0x0fff_ffff;
const SCALAR: u32 = 0x1000_0000;
const OBJECT: u32 = 0x2000_0000;
const ARRAY: u32 = 0x4000_0000;
const NUMERIC: u32 = 0x1000_0000;
const FALSE: u32 = 0x2000_0000;
const TRUE: u32 = 0x3000_0000;
const NULL: u32 = 0x4000_0000;
const CONTAINER: u32 = 0x5000_0000;
const TYPE_MASK: u32 = 0x7000_0000;
const HAS_OFFSET: u32 = 0x8000_0000;

pub(in crate::expr) fn encode_jsonb_datum(text: &str) -> Result<Vec<u8>> {
    encode::encode(text)
}

pub(in crate::expr) fn decode_jsonb_datum_with_control(
    bytes: &[u8],
    control: &ProductionControl<'_>,
) -> Result<Produced<String>> {
    decode::decode(bytes, control)
}

fn corrupt() -> SQLError {
    SQLError::Routine {
        sqlstate: "XX001".into(),
        message: "invalid jsonb datum length".into(),
    }
}

fn internal(message: &str) -> SQLError {
    SQLError::Routine {
        sqlstate: "XX000".into(),
        message: message.into(),
    }
}

fn aligned(offset: usize) -> Result<usize> {
    Ok(offset.checked_add(3).ok_or_else(corrupt)? & !3)
}

fn word(bytes: &[u8], offset: usize) -> Result<u32> {
    let end = offset.checked_add(4).ok_or_else(corrupt)?;
    let bytes = bytes.get(offset..end).ok_or_else(corrupt)?;
    Ok(u32::from_le_bytes(bytes.try_into().expect("four bytes")))
}