Struct DefaultValidator 

pub struct DefaultValidator;

Default implementation of the Validator stage.

This validator performs syntactic checks immediately and generates semantic validation tasks for deferred execution.

Implementations

impl DefaultValidator

pub const fn new() -> Self

Trait Implementations

impl Default for DefaultValidator

fn default() -> Self

Returns the “default value” for a type.

impl Validator for DefaultValidator

fn validate<'a>( &self, ast: &'a [AstNode<'a>], ) -> Result<Vec<ValidationTask<'a>>, AamlError>

Analyzes an AST and generates validation tasks.

fn check_syntax(&self, ast: &[AstNode<'_>]) -> Result<(), AamlError>

Performs quick syntactic checks that don’t require deferred validation.