hamelin_lib 0.16.0

Core library for Hamelin query language
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

//! Shared test helpers for tree tests
//!
//! This module contains common utilities used across multiple test modules
//! to reduce duplication and ensure consistency.

use std::sync::Arc;

use ordermap::OrderMap;

use crate::catalog::CatalogProvider;
use crate::err::WithTranslationErrors;
use crate::tree::ast::dataset_identifier::DatasetIdentifier;
use crate::tree::ast::identifier::SimpleIdentifier as AstSimpleIdentifier;
use crate::tree::ast::TypeCheck;
use crate::tree::options::TypeCheckOptions;
use crate::type_check_with_options;
use crate::types::Type;

/// Helper to create a catalog provider with table schemas.
///
/// Unqualified table names are registered under the unit-test default space `test`.
pub fn catalog_with_tables(tables: Vec<(&str, Vec<(&str, Type)>)>) -> Arc<CatalogProvider> {
    let mut datasets = std::collections::HashMap::new();
    let default_space = AstSimpleIdentifier::new("test");

    for (table_name, fields) in tables {
        let table_id = DatasetIdentifier::from_ref_str(table_name)
            .unwrap()
            .qualify(Some(&default_space))
            .unwrap();
        let mut field_map = OrderMap::new();
        for (field_name, field_type) in fields {
            field_map.insert(AstSimpleIdentifier::new(field_name), field_type);
        }
        datasets.insert(table_id, field_map);
    }

    Arc::new(CatalogProvider::new(datasets))
}

/// Type-check with a test catalog and the unit-test default space `test`.
pub fn type_check_with_catalog<Ast: TypeCheck>(
    ast: impl Into<Arc<Ast>>,
    catalog: Arc<CatalogProvider>,
) -> WithTranslationErrors<Ast::Output> {
    type_check_with_options(
        ast,
        TypeCheckOptions::builder()
            .provider(catalog)
            .maybe_default_space(Some(AstSimpleIdentifier::new("test")))
            .build(),
    )
}