icydb-core 0.184.15

IcyDB — A schema-first typed query engine and persistence runtime for Internet Computer canisters
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

use crate::db::{
    query::{
        builder::AggregateExpr,
        plan::expr::{Expr, compile_scalar_projection_expr_with_schema},
    },
    schema::SchemaInfo,
    sql::lowering::{AnalyzedLoweredExpr, LoweredExprAnalysis, SqlLoweringError},
};
use crate::model::entity::EntityModel;

// Attach one optional normalized planner-owned filter expression to an
// aggregate expression so parser/lowering support can stay on the aggregate
// semantic boundary without reopening aggregate construction at callsites.
pub(in crate::db::sql::lowering::aggregate) fn apply_aggregate_filter_expr(
    aggregate: AggregateExpr,
    filter_expr: Option<Expr>,
) -> AggregateExpr {
    match filter_expr {
        Some(filter_expr) => aggregate.with_filter_expr(filter_expr),
        None => aggregate,
    }
}

// Validate one already-analyzed model-bound scalar expression while preserving
// first unknown-field diagnostics from the recorded lowered field-root order.
pub(in crate::db::sql::lowering::aggregate) fn validate_analyzed_model_bound_scalar_expr(
    model: &'static EntityModel,
    schema: &SchemaInfo,
    analyzed: &AnalyzedLoweredExpr,
    unsupported: impl FnOnce() -> SqlLoweringError,
) -> Result<(), SqlLoweringError> {
    validate_model_bound_scalar_expr_with_analysis(
        model,
        schema,
        analyzed.expr(),
        analyzed.analysis(),
        unsupported,
    )
}

fn validate_model_bound_scalar_expr_with_analysis(
    model: &'static EntityModel,
    schema: &SchemaInfo,
    expr: &Expr,
    analysis: &LoweredExprAnalysis,
    unsupported: impl FnOnce() -> SqlLoweringError,
) -> Result<(), SqlLoweringError> {
    if let Some(field) = analysis.first_unknown_field_for_model(model) {
        return Err(SqlLoweringError::unknown_field(field));
    }
    if compile_scalar_projection_expr_with_schema(schema, expr).is_none() {
        return Err(unsupported());
    }

    Ok(())
}