Struct ExecutionContext 

pub struct ExecutionContext<'a> {
    pub source: Cow<'a, str>,
    pub map: PipelineHashMap<SmolStr, SmolStr>,
    pub schemas: PipelineHashMap<SmolStr, SchemaInfo>,
    pub types: PipelineHashMap<SmolStr, TypeInfo>,
    pub commands: PipelineHashMap<Cow<'a, str>, CommandInfo<'a>>,
    pub key_line_map: PipelineHashMap<SmolStr, usize>,
    pub scope_stack: Vec<Cow<'a, str>>,
    pub visited_keys: HashSet<SmolStr>,
    pub imported_files: HashSet<Cow<'a, str>>,
}

Encapsulates all runtime context needed during execution.

This struct holds the accumulated state that would normally be scattered across the AAML struct and various registries.

Fields

source: Cow<'a, str>

Source file path or identifier (for error reporting)

map: PipelineHashMap<SmolStr, SmolStr>

Key-value map accumulated during parsing (using SmolStr for SSO)

schemas: PipelineHashMap<SmolStr, SchemaInfo>

Schema definitions accumulated from @schema directives

types: PipelineHashMap<SmolStr, TypeInfo>

Type definitions accumulated from @type directives

commands: PipelineHashMap<Cow<'a, str>, CommandInfo<'a>>

Registered commands (directives)

key_line_map: PipelineHashMap<SmolStr, usize>

Line number map: key → line number where it was defined

scope_stack: Vec<Cow<'a, str>>

Scope tracking for nested configurations

visited_keys: HashSet<SmolStr>

Circular reference detection set

imported_files: HashSet<Cow<'a, str>>

Import cache to prevent re-importing the same file

Implementations

impl<'a> ExecutionContext<'a>

pub fn new(source: impl Into<Cow<'a, str>>) -> Self

Creates a new empty execution context.

pub fn default_value_for_type(&self, type_name: &str) -> Option<&str>

Returns the registered inheritance default for a given type.

pub fn current_scope(&self) -> String

Returns the current scope as a string path.

pub fn push_scope(&mut self, scope_name: impl Into<Cow<'a, str>>)

Enters a new nested scope.

pub fn pop_scope(&mut self)

Exits the current scope.

pub fn set_value( &mut self, key: impl AsRef<str>, value: impl AsRef<str>, line: usize, )

Sets a key-value pair in the map with line tracking.

pub fn get_value(&self, key: &str) -> Option<&str>

Gets a value from the map.

pub fn register_schema(&mut self, schema: SchemaInfo)

Registers a schema definition.

pub fn register_type(&mut self, type_def: TypeInfo) -> Result<(), AamlError>

Registers a type definition.

Errors

Returns AamlError::CircularDependency if registering this type would create a recursive alias cycle (e.g. A = B, B = C, C = A).

pub fn register_command(&mut self, command: CommandInfo<'a>)

Registers a command (directive).

pub fn mark_visited(&mut self, key: &str)

Checks if a key has been visited (for cycle detection).

pub fn is_visited(&self, key: &str) -> bool

Checks if a key has been visited.

pub fn reset_visited(&mut self)

Clears visited set for a new traversal.

pub fn record_import(&mut self, file_path: impl Into<Cow<'a, str>>)

Records an imported file.

pub fn is_imported(&self, file_path: &str) -> bool

Checks if a file has already been imported.

pub fn get_line_for_key(&self, key: &str) -> Option<usize>

Returns the line number where a key was defined.

Trait Implementations

impl<'a> Debug for ExecutionContext<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.