Enum ValidationTask 

pub enum ValidationTask<'a> {
    CheckTypeMatch {
        key: Cow<'a, str>,
        value: Cow<'a, str>,
        type_name: Cow<'a, str>,
        line: usize,
    },
    VerifySchemaExists {
        schema_name: Cow<'a, str>,
        line: usize,
    },
    VerifyFileExists {
        path: Cow<'a, str>,
        line: usize,
    },
    ValidateAgainstSchema {
        schema_name: Cow<'a, str>,
        key: Cow<'a, str>,
        value: Cow<'a, str>,
        line: usize,
    },
    CheckSchemaCompleteness {
        schema_name: Cow<'a, str>,
        missing_fields: Vec<Cow<'a, str>>,
        line: usize,
    },
    CheckNoCircularReference {
        key: Cow<'a, str>,
        line: usize,
    },
    CheckDeriveCompleteness {
        derive_path: Cow<'a, str>,
        current_key: Cow<'a, str>,
        line: usize,
    },
    ValidateListElements {
        key: Cow<'a, str>,
        items: Arc<[ValueNode<'a>]>,
        element_type: Cow<'a, str>,
        line: usize,
    },
    ValidateObjectStructure {
        key: Cow<'a, str>,
        pairs: Arc<[(Cow<'a, str>, ValueNode<'a>)]>,
        line: usize,
    },
}

A declarative validation task generated by the Validator.

Validation tasks represent specific checks that need to be performed on AST nodes. They are generated during the validation phase and executed by ValidateExecutor.

Variants

CheckTypeMatch

Check if a value matches a registered type’s constraints.

Fields

• key: The configuration key being validated
• value: The value to validate
• type_name: Name of the type to validate against (e.g., “i32”, “string”, “vector2”)
• line: Source line number for diagnostics

Fields

key: Cow<'a, str>

value: Cow<'a, str>

type_name: Cow<'a, str>

line: usize

VerifySchemaExists

Verify that a schema referenced in the configuration is defined.

Fields

• schema_name: Name of the schema to check
• line: Source line number

Fields

schema_name: Cow<'a, str>

line: usize

VerifyFileExists

Verify that a file referenced by an import directive exists.

Fields

• path: Path to the file
• line: Source line number

Fields

path: Cow<'a, str>

line: usize

ValidateAgainstSchema

Validate that an assignment complies with a registered schema.

Fields

• schema_name: Name of the schema to validate against
• key: Key being validated
• value: Value being validated
• line: Source line number

Fields

schema_name: Cow<'a, str>

key: Cow<'a, str>

value: Cow<'a, str>

line: usize

CheckSchemaCompleteness

Check that all required fields of a schema are present.

Fields

• schema_name: Schema name
• missing_fields: Required fields not found
• line: Source line number

Fields

schema_name: Cow<'a, str>

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

line: usize

CheckNoCircularReference

Verify no circular references in lookup chains.

Fields

• key: Key being looked up
• line: Source line number

Fields

key: Cow<'a, str>

line: usize

CheckDeriveCompleteness

Verify that an object deriving from schemas implements all required fields.

Fields

• derive_path: Derivation path (file.aam::Schema1::Schema2)
• current_key: The context key doing the derivation
• line: Source line number

Fields

derive_path: Cow<'a, str>

current_key: Cow<'a, str>

line: usize

ValidateListElements

Validate an inline list matches expected element types.

Fields

• key: Configuration key
• items: List items as strings
• element_type: Expected type of each element
• line: Source line number

Fields

key: Cow<'a, str>

items: Arc<[ValueNode<'a>]>

element_type: Cow<'a, str>

line: usize

ValidateObjectStructure

Validate an inline object’s keys and values.

Fields

• key: Configuration key
• pairs: Key-value pairs in the object
• line: Source line number

Fields

key: Cow<'a, str>

pairs: Arc<[(Cow<'a, str>, ValueNode<'a>)]>

line: usize

Implementations

impl ValidationTask<'_>

pub const fn line(&self) -> usize

Returns the line number associated with this task for error reporting.

pub fn description(&self) -> String

Returns a human-readable description of this task.

Trait Implementations

impl<'a> Clone for ValidationTask<'a>

fn clone(&self) -> ValidationTask<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for ValidationTask<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for ValidationTask<'a>

impl<'a> PartialEq for ValidationTask<'a>

fn eq(&self, other: &ValidationTask<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> StructuralPartialEq for ValidationTask<'a>