aam-rs 2.0.0

A Rust implementation of the Abstract Alias Mapping (AAM) framework for aliasing and maping aam files.
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

use crate::error::AamlError;
use crate::pipeline::execution_descriptor::ExecutionContext;

/// Validates a value against a type, handling built-ins, registered custom types, and nested schemas.
pub fn validate_type_value(
    value: &str,
    type_name: &str,
    context: &ExecutionContext,
) -> Result<(), AamlError> {
    // 1. Registered custom type alias
    if let Some(custom_type) = context.types.get(type_name) {
        // Built-in defaults are registered as identity specs (e.g., string -> string).
        // Skip recursive alias expansion for self-mapped entries to avoid infinite recursion.
        if custom_type.spec != type_name {
            return validate_type_value(value, &custom_type.spec, context);
        }
    }

    // 2. Nested schema — type_name matches a registered schema name
    if let Some(schema_info) = context.schemas.get(type_name) {
        return validate_inline_object_against_schema(value, schema_info, context);
    }

    // 3. Built-in types
    match crate::types_aam::resolve_builtin(type_name) {
        Ok(validator) => validator.validate(value, context),
        Err(_) => Err(AamlError::InvalidType {
            type_name: type_name.to_string(),
            details: format!("Unknown type '{}'", type_name),
            provided: value.to_string(),
            diagnostics: None,
        }),
    }
}

pub fn validate_inline_object_against_schema(
    value: &str,
    schema_info: &crate::pipeline::execution_descriptor::SchemaInfo,
    context: &ExecutionContext,
) -> Result<(), AamlError> {
    if !crate::aaml::parsing::is_inline_object(value) {
        return Err(AamlError::InvalidValue {
            details: format!(
                "Field typed as schema '{}' must be an inline object '{{ k = v, ... }}'",
                schema_info.name
            ),
            expected: "inline object format: { key = value, ... }".to_string(),
            diagnostics: None,
        });
    }

    let pairs = crate::aaml::parsing::parse_inline_object(value)?;

    let mut pair_map = std::collections::HashMap::new();
    for (k, v) in &pairs {
        pair_map.insert(k.as_str(), v.as_str());
    }

    for (field, (type_name, is_optional)) in &schema_info.fields {
        match pair_map.get(field.as_str()) {
            None => {
                if !is_optional {
                    return Err(AamlError::SchemaValidationError {
                        schema: schema_info.name.to_string(),
                        field: field.to_string(),
                        type_name: type_name.to_string(),
                        details: format!(
                            "Missing required field '{}' in inline object for schema '{}'",
                            field, schema_info.name
                        ),
                        diagnostics: None,
                    });
                }
            }
            Some(field_value) => {
                validate_type_value(field_value, type_name, context)?;
            }
        }
    }

    Ok(())
}