mago-semantics 1.20.1

use mago_database::file::File;
use mago_names::ResolvedNames;
use mago_php_version::PHPVersion;
use mago_reporting::IssueCollection;
use mago_syntax::ast::Program;
use mago_syntax::walker::Walker;

use crate::internal::CheckingWalker;
use crate::internal::context::Context;

mod internal;

/// The main entry point for performing semantic analysis on a PHP program's AST.
///
/// This checker is responsible for traversing the Abstract Syntax Tree (AST)
/// and validating the code against a set of semantic rules, such as type correctness,
/// variable usage, and adherence to language features for a specific PHP version.
#[derive(Debug, Clone, Copy)]
pub struct SemanticsChecker {
    version: PHPVersion,
}

impl SemanticsChecker {
    /// Creates a new `SemanticsChecker`.
    ///
    /// # Arguments
    ///
    /// - `php_version`: The target PHP version to check against.
    ///
    #[must_use]
    pub fn new(php_version: PHPVersion) -> Self {
        Self { version: php_version }
    }

    /// Analyzes the given program AST for semantic issues.
    ///
    /// This method walks the entire AST, applying semantic rules and collecting any
    /// violations it finds.
    ///
    /// # Arguments
    ///
    /// - `source`: The source file being analyzed.
    /// - `program`: The root of the AST for the program.
    /// - `names`: The resolved names (e.g., fully qualified class names) from the name resolution pass.
    ///
    /// # Returns
    ///
    /// An `IssueCollection` containing all semantic issues discovered during the check.
    #[must_use]
    pub fn check<'ast, 'arena>(
        &self,
        file: &File,
        program: &'ast Program<'arena>,
        names: &'ast ResolvedNames<'arena>,
    ) -> IssueCollection {
        let mut context = Context::new(self.version, program, names, file);

        CheckingWalker.walk_program(program, &mut context);

        context.finalize()
    }
}