microcad_lang/resolve/

symbolize.rs

// Copyright © 2025-2026 The µcad authors <info@microcad.xyz>
// SPDX-License-Identifier: AGPL-3.0-or-later

//! Symbolizing of syntax definitions.

use std::rc::Rc;

use microcad_lang_base::PushDiag;

use crate::{
    resolve::*,
    symbol::{Symbol, SymbolDef, SymbolMap},
    syntax::*,
};

pub(super) trait Symbolize<T = Option<Symbol>> {
    /// Create symbol from definition.
    fn symbolize(&self, _parent: &Symbol, _context: &mut ResolveContext) -> ResolveResult<T> {
        unreachable!()
    }
}

impl SourceFile {
    /// Create symbol from definition.
    pub fn symbolize(
        &self,
        visibility: Visibility,
        context: &mut ResolveContext,
    ) -> ResolveResult<Symbol> {
        let symbol = Symbol::new_with_visibility(
            visibility,
            SymbolDef::SourceFile(self.clone().into()),
            None,
        );
        symbol.set_children(self.statements.symbolize(&symbol, context)?);
        log::trace!("Granting {}", self.name);
        self.grant(&mut GrantContext::new(context))?;
        Ok(symbol)
    }
}

impl Symbolize<Symbol> for ModuleDefinition {
    fn symbolize(&self, parent: &Symbol, context: &mut ResolveContext) -> ResolveResult<Symbol> {
        let symbol = if let Some(body) = &self.body {
            let symbol = Symbol::new(SymbolDef::Module(self.clone().into()), Some(parent.clone()));
            symbol.set_children(body.symbolize(&symbol, context)?);
            symbol
        } else if let Some(parent_path) = parent.source_path() {
            let mut symbol =
                context.symbolize_file(self.visibility.clone(), parent_path, self.id_ref())?;
            symbol.set_parent(parent.clone());
            symbol
        } else {
            todo!("no top-level source file")
        };
        Ok(symbol)
    }
}

impl Symbolize<SymbolMap> for StatementList {
    fn symbolize(&self, parent: &Symbol, context: &mut ResolveContext) -> ResolveResult<SymbolMap> {
        let mut symbols = SymbolMap::default();
        // Iterate over all statement fetch definitions
        for statement in &self.0 {
            if let Some((id, symbol)) = statement.symbolize(parent, context)? {
                if let Some(alt) = symbols.insert(id.clone(), symbol) {
                    context.error(
                        &id,
                        ResolveError::AmbiguousId {
                            first: alt.id(),
                            ambiguous: id.clone(),
                        },
                    )?;
                }
            }
        }
        Ok(symbols)
    }
}

impl Symbolize<Option<(Identifier, Symbol)>> for Statement {
    fn symbolize(
        &self,
        parent: &Symbol,
        context: &mut ResolveContext,
    ) -> ResolveResult<Option<(Identifier, Symbol)>> {
        match self {
            Statement::Workbench(wd) => Ok(Some((wd.id(), wd.symbolize(parent, context)?))),
            Statement::Module(md) => Ok(Some((md.id(), md.symbolize(parent, context)?))),
            Statement::Function(fd) => Ok(Some((fd.id(), fd.symbolize(parent, context)?))),
            Statement::Use(us) => us.symbolize(parent, context),
            Statement::Assignment(a) => Ok(a
                .symbolize(parent, context)?
                .map(|symbol| (a.assignment.id(), symbol))),
            // Not producing any symbols
            Statement::Init(_)
            | Statement::Return(_)
            | Statement::If(_)
            | Statement::InnerAttribute(_)
            | Statement::InnerDocComment(_)
            | Statement::Expression(_) => Ok(None),
        }
    }
}

impl Symbolize<Symbol> for Rc<WorkbenchDefinition> {
    fn symbolize(&self, parent: &Symbol, context: &mut ResolveContext) -> ResolveResult<Symbol> {
        let symbol = Symbol::new(SymbolDef::Workbench(self.clone()), Some(parent.clone()));
        symbol.set_children(self.body.symbolize(&symbol, context)?);
        Ok(symbol)
    }
}

impl Symbolize<Symbol> for Rc<FunctionDefinition> {
    fn symbolize(&self, parent: &Symbol, context: &mut ResolveContext) -> ResolveResult<Symbol> {
        let symbol = Symbol::new(SymbolDef::Function(self.clone()), Some(parent.clone()));
        symbol.set_children(self.body.symbolize(&symbol, context)?);
        Ok(symbol)
    }
}

impl Symbolize for AssignmentStatement {
    fn symbolize(
        &self,
        parent: &Symbol,
        _context: &mut ResolveContext,
    ) -> ResolveResult<Option<Symbol>> {
        let symbol = match (&self.assignment.visibility, self.assignment.qualifier()) {
            // properties do not have a visibility
            (_, Qualifier::Prop) => {
                if !parent.can_prop() {
                    None
                } else {
                    Some(None)
                }
            }
            // constants will be symbols (`pub` shall equal `pub const`)
            (_, Qualifier::Const) | (Visibility::Public, Qualifier::Value) => {
                if !parent.can_const() {
                    None
                } else {
                    log::trace!(
                        "Declaring private const expression: {}",
                        self.assignment.id_ref()
                    );
                    Some(Some(Symbol::new(
                        SymbolDef::Assignment(self.assignment.clone()),
                        Some(parent.clone()),
                    )))
                }
            }
            // value go on stack
            (Visibility::Private | Visibility::PrivateUse(_), Qualifier::Value) => {
                if self.assignment.visibility == Visibility::Private && !parent.can_value() {
                    None
                } else {
                    Some(None)
                }
            }
            (Visibility::Deleted, _) => unreachable!(),
        };

        match symbol {
            Some(symbol) => Ok(symbol),
            None => Ok(None),
        }
    }
}

impl Symbolize<SymbolMap> for Body {
    fn symbolize(&self, parent: &Symbol, context: &mut ResolveContext) -> ResolveResult<SymbolMap> {
        self.statements.symbolize(parent, context)
    }
}

impl Symbolize<Option<(Identifier, Symbol)>> for UseStatement {
    fn symbolize(
        &self,
        parent: &Symbol,
        _: &mut ResolveContext,
    ) -> ResolveResult<Option<(Identifier, Symbol)>> {
        match &self.decl {
            UseDeclaration::Use(name) => {
                let identifier = name.last().expect("Identifier");
                Ok(Some((
                    Identifier::unique(),
                    Symbol::new(
                        SymbolDef::Alias(self.visibility.clone(), identifier.clone(), name.clone()),
                        Some(parent.clone()),
                    ),
                )))
            }
            UseDeclaration::UseAll(name) => Ok(Some((
                Identifier::unique(),
                Symbol::new(
                    SymbolDef::UseAll(self.visibility.clone(), name.clone()),
                    Some(parent.clone()),
                ),
            ))),
            UseDeclaration::UseAs(name, alias) => Ok(Some((
                Identifier::unique(),
                Symbol::new(
                    SymbolDef::Alias(self.visibility.clone(), alias.clone(), name.clone()),
                    Some(parent.clone()),
                ),
            ))),
        }
    }
}