use std::rc::Rc;
use mago_atom::Atom;
use mago_codex::ttype::get_mixed;
use mago_reporting::Annotation;
use mago_reporting::Issue;
use mago_span::HasSpan;
use mago_syntax::ast::Global;
use crate::analyzable::Analyzable;
use crate::artifacts::AnalysisArtifacts;
use crate::code::IssueCode;
use crate::common::global::get_global_variable_type;
use crate::context::Context;
use crate::context::block::BlockContext;
use crate::context::block::ReferenceConstraint;
use crate::context::block::ReferenceConstraintSource;
use crate::error::AnalysisError;
use crate::utils::expression::get_variable_id;
impl<'ast, 'arena> Analyzable<'ast, 'arena> for Global<'arena> {
fn analyze<'ctx>(
&'ast self,
context: &mut Context<'ctx, 'arena>,
block_context: &mut BlockContext<'ctx>,
_artifacts: &mut AnalysisArtifacts,
) -> Result<(), AnalysisError> {
if block_context.is_global_scope() {
context.collector.report_with_code(
IssueCode::InvalidGlobal,
Issue::error("The 'global' keyword has no effect in the global scope.")
.with_annotation(Annotation::primary(self.span()).with_message("This statement is redundant here."))
.with_note("The 'global' keyword is used *inside* functions or methods to import variables from the global scope into the local scope.")
.with_help("Consider removing this 'global' statement as it does not do anything in this context."),
);
}
for variable in &self.variables {
if let Some(var_id) = get_variable_id(variable) {
block_context.locals.insert(Atom::from(var_id), Rc::new(get_mixed()));
}
}
for variable in &self.variables {
let Some(var_id) = get_variable_id(variable) else {
continue;
};
let var_id_atom = Atom::from(var_id);
let is_argc_or_argv = var_id == "$argc" || var_id == "$argv";
let global_type = get_global_variable_type(var_id).unwrap_or_else(|| Rc::new(get_mixed()));
block_context.locals.insert(var_id_atom, global_type);
if !is_argc_or_argv {
block_context.variables_possibly_in_scope.insert(var_id_atom);
block_context.by_reference_constraints.insert(
var_id_atom,
ReferenceConstraint::new(variable.span(), ReferenceConstraintSource::Global, None),
);
}
block_context.references_to_external_scope.insert(var_id_atom);
if block_context.references_in_scope.contains_key(&var_id_atom) {
block_context.decrement_reference_count(&var_id_atom);
block_context.references_in_scope.remove(&var_id_atom);
}
}
Ok(())
}
}