selene-db-gql 1.3.0

ISO/IEC 39075:2024 GQL parser, planner, optimizer, and executor for selene-db.
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

//! Runtime validation for typed parameter declarations.

use selene_core::{DbString, Value};

use crate::{
    GqlType, SourceSpan,
    ast::format::format_gql_type,
    runtime::{ExecutorError, value_type_match},
};

pub(crate) fn validate_declared_type(
    name: DbString,
    value: &Value,
    declared_type: &GqlType,
    span: SourceSpan,
) -> Result<(), ExecutorError> {
    if value_type_match::value_matches_gql_type(value, declared_type) {
        return Ok(());
    }
    Err(ExecutorError::InvalidParameterType {
        name,
        expected: format_gql_type(declared_type).into(),
        actual: value_gql_type_name(value),
        span,
    })
}

fn value_gql_type_name(value: &Value) -> &'static str {
    match value {
        Value::Bool(_) => "BOOLEAN",
        Value::Int(_) => "INTEGER",
        Value::Uint(_) => "UINT64",
        Value::Int128(_) => "INT128",
        Value::Uint128(_) => "UINT128",
        Value::Float(_) => "FLOAT64",
        Value::Float32(_) => "FLOAT32",
        Value::Decimal(_) => "DECIMAL",
        Value::String(_) => "STRING",
        Value::Bytes(_) => "BYTES",
        Value::List(_) => "LIST",
        Value::Record(_) | Value::RecordTyped(_) => "RECORD",
        Value::Path(_) => "PATH",
        Value::NodeRef(_) => "NODE",
        Value::EdgeRef(_) => "EDGE",
        Value::GraphRef(_) => "GRAPH",
        Value::TableRef(_) => "TABLE",
        Value::ZonedDateTime(_) => "ZONED DATETIME",
        Value::LocalDateTime(_) => "LOCAL DATETIME",
        Value::Date(_) => "DATE",
        Value::ZonedTime(_) => "ZONED TIME",
        Value::LocalTime(_) => "LOCAL TIME",
        Value::Duration(_) => "DURATION",
        Value::Extended { .. } => "EXTENDED",
        Value::Null => "NULL",
        Value::Uuid(_) => "UUID",
        Value::Vector(_) => "VECTOR",
        Value::Json(_) => "JSON",
        _ => "UNKNOWN",
    }
}