//
//  Copyright 2025-2026 Shuntaro Kasatani
//
//  Licensed under the Apache License, Version 2.0 (the "License");
//  you may not use this file except in compliance with the License.
//  You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
//  Unless required by applicable law or agreed to in writing, software
//  distributed under the License is distributed on an "AS IS" BASIS,
//  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
//  See the License for the specific language governing permissions and
//  limitations under the License.
//

use crate::{
    ast::{Range, Statement},
    ast_construction::{
        expr_engine::{LValueResolver, resolve_expr},
        statement_building::BlockStmtBuilder,
    },
    error::Ph,
    parser::ExprToken,
};

impl BlockStmtBuilder<'_> {
    pub fn build_assign(
        &mut self,
        target: &[ExprToken],
        value: &[ExprToken],
        stmt_range: Range,
    ) -> Option<Statement> {
        // Resolve the target variable
        let mut l_value_resolver = LValueResolver::new(
            self.ec,
            self.prog_ctx,
            self.comp_data,
            self.builtin_registry,
            self.scope_id,
            self.namespace_id,
        );

        // Error will be thrown by the LValueResolver so no need to check for None
        let target_l_value = l_value_resolver.resolve_l_value(target)?;

        // Resolve the expression
        let resolved_value = resolve_expr(
            self.ec,
            self.prog_ctx,
            self.comp_data,
            self.builtin_registry,
            self.scope_id,
            self.namespace_id,
            value,
        )?;

        // Check if the target and value types match
        if target_l_value.value_type != resolved_value.value_type {
            self.ec.assign_type_mismatch(
                stmt_range,
                Ph::StatementBuilding,
                self.prog_ctx
                    .type_registry
                    .format_type(&target_l_value.value_type),
                self.prog_ctx
                    .type_registry
                    .format_type(&resolved_value.value_type),
            );
            return None;
        }

        Some(Statement::Assign {
            target: target_l_value,
            value: resolved_value,
        })
    }
}
