mod args;
mod callable;
mod function;
pub(crate) mod method;
mod static_call;

pub use args::{check_constructor_args, spread_element_type, CheckArgsParams};
pub(crate) use function::extract_class_docblock;

pub struct CallAnalyzer;

/// An assignment expression in argument position (`f($x = expr)`,
/// `->andReturn($mock = m::mock(...))`) has its value consumed by the call —
/// the write is used even if the variable is never read again.
pub(crate) fn consume_arg_assignment(
    expr: &php_ast::owned::Expr,
    ctx: &mut crate::flow_state::FlowState,
) {
    if let php_ast::owned::ExprKind::Assign(a) = &expr.kind {
        if let php_ast::owned::ExprKind::Variable(name) = &a.target.kind {
            let n = name.trim_start_matches('$');
            ctx.read_vars.insert(mir_types::Name::from(n));
            ctx.mark_consumed(n);
        }
    }
}

/// Pre-mark variables passed to by-reference parameters as defined.
///
/// Passing an as-yet-undefined variable to an out-parameter (e.g. `&$matches`
/// in `preg_match`, or a user method's `&$out`) defines it, so it must not be
/// reported as `UndefinedVariable`. Variadic by-ref params (`&...$rest`) cover
/// every argument from their position onward. Must run before the arguments are
/// analyzed so the read side never sees the variable as undefined.
pub(crate) fn premark_byref_arg_vars(
    params: &[mir_codebase::storage::FnParam],
    args: &[php_ast::owned::Arg],
    ctx: &mut crate::flow_state::FlowState,
) {
    use php_ast::owned::ExprKind;
    for (i, param) in params.iter().enumerate() {
        if !param.is_byref {
            continue;
        }
        let targets: &[php_ast::owned::Arg] = if param.is_variadic {
            args.get(i..).unwrap_or(&[])
        } else {
            args.get(i..=i).unwrap_or(&[])
        };
        for arg in targets {
            if let ExprKind::Variable(name) = &arg.value.kind {
                let var_name = name.trim_start_matches('$');
                if !ctx.var_is_defined(var_name) {
                    // Prefer @param-out type if declared; fall back to declared
                    // in-type, then mixed.
                    let ty = param
                        .out_ty
                        .as_ref()
                        .or(param.ty.as_ref())
                        .map(|t| (**t).clone())
                        .unwrap_or_else(mir_types::Type::mixed);
                    ctx.set_var(var_name, ty);
                }
            }
        }
    }
}

// Reusable per-thread buffer for arg_types collection. The Option lets
// reentrant calls (foo(bar(baz()))) detect they can't borrow the same buffer
// and fall back to a fresh allocation.
thread_local! {
    pub(crate) static ARG_TYPES_BUF: std::cell::RefCell<Option<Vec<mir_types::Type>>> =
        const { std::cell::RefCell::new(Some(Vec::new())) };
}
