vla-lang 0.10.1

//! The message catalogue and the refusal: INTRINSICS.md's sixth entry.
//!
//! Every refusal in the reference is `VLA_Messages.RaiseMsg "<id>", slot,
//! value, ...` (SD-2): the id names a catalogue entry holding the VBA error
//! number, the `Err.Source` tag and an English template whose `{slot}`s the
//! call fills. The treaty's fifth oracle holds every implementation to the
//! same id in the same situation, so the language refuses from the same
//! catalogue, read as data. Since PORT.12 the catalogue is in two halves,
//! both exported from `src/VLA_Messages.bas` by `tools/export_messages.ps1`
//! and held to it by `tools/check_data_exports.ps1`: this crate embeds the
//! language's own families (`data/messages.vla`: `vla`, `interp`, `lint`,
//! `view`, since KERNEL.7 `calc`, and since KERNEL.22 `grid`, the
//! machine's), and `frazaro-core` embeds the rest
//! and asks this catalogue after its own. The VBA is the source of both.
//!
//! A refusal here is a value, not a raise: [`Refusal`], carried in a
//! `Result`. [`raise`] builds one exactly as `RaiseMsg` builds its text,
//! `SubstituteSlots` included. The two internal errors `RaiseMsg` can meet,
//! an unknown id and a slot left unfilled, are refusals too, with the VBA's
//! own words, so that nothing on this path can panic. A [`Catalogue`] is
//! the mechanism over any such text, so that a crate above this one holds
//! a catalogue of its own and falls through to the language's.

use std::sync::OnceLock;

use crate::form::Form;
use crate::reader::read_forms;

/// One refusal, finished: the id that named it, the VBA error number and
/// `Err.Source` the catalogue gives it, and the text with its slots filled.
#[derive(Clone, Debug, PartialEq)]
pub struct Refusal {
    pub id: String,
    pub number: i64,
    pub source: String,
    pub text: String,
}

impl Refusal {
    /// The reference appends to a caught refusal's text on its way out
    /// (`VlaTranspile`'s `emitfail`: ` (near vla line N)`); this is that.
    pub fn with_suffix(mut self, suffix: &str) -> Refusal {
        self.text.push_str(suffix);
        self
    }
}

impl std::fmt::Display for Refusal {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(&self.text)
    }
}

struct Entry {
    id: String,
    number: i64,
    source: String,
    template: String,
}

/// A catalogue: the entries of one `messages.vla` text, parsed once.
pub struct Catalogue {
    entries: Vec<Entry>,
}

impl Catalogue {
    /// The entries of an exported catalogue text, in its order; a form that
    /// is not a well-formed `(message ...)` is skipped, as the reference's
    /// loader would never have registered it.
    pub fn parse(text: &str) -> Catalogue {
        // The file is CRLF on a Windows checkout and LF elsewhere; a template
        // that holds a line break must read the same on both.
        let text = text.replace("\r\n", "\n");
        let forms = match read_forms(&text) {
            Ok(forms) => forms,
            Err(_) => {
                return Catalogue {
                    entries: Vec::new(),
                }
            }
        };
        let mut entries = Vec::with_capacity(forms.len());
        for form in &forms {
            let Form::List(l) = form else { continue };
            if !l.head_is("message") || l.items.len() != 5 {
                continue;
            }
            let (Form::Sym(id), Form::Sym(number), Form::Str(source), Form::Str(template)) =
                (&l.items[1], &l.items[2], &l.items[3], &l.items[4])
            else {
                continue;
            };
            let Ok(number) = number.parse::<i64>() else {
                continue;
            };
            entries.push(Entry {
                id: id.clone(),
                number,
                source: source.clone(),
                template: template.clone(),
            });
        }
        Catalogue { entries }
    }

    /// How many entries the catalogue holds.
    pub fn count(&self) -> usize {
        self.entries.len()
    }

    /// Every id, in the catalogue's order.
    pub fn ids(&self) -> Vec<&str> {
        self.entries.iter().map(|e| e.id.as_str()).collect()
    }

    /// The template of an id, unfilled, or `None` for an id the catalogue
    /// does not know.
    pub fn template(&self, id: &str) -> Option<&str> {
        self.entries
            .iter()
            .find(|e| e.id == id)
            .map(|e| e.template.as_str())
    }

    /// VBA `RaiseMsg` over this catalogue: the entry's number and source,
    /// and its template with each `{slot}` replaced by the value given for
    /// that name; a slot left unfilled is the reference's internal error.
    /// `None` for an id this catalogue does not hold, so that a caller can
    /// ask another catalogue before it gives up.
    pub fn raise(&self, id: &str, slots: &[(&str, &str)]) -> Option<Refusal> {
        let entry = self.entries.iter().find(|e| e.id == id)?;
        Some(match substitute_slots(&entry.template, slots) {
            Ok(text) => Refusal {
                id: id.to_string(),
                number: entry.number,
                source: entry.source.clone(),
                text,
            },
            Err(slot) => internal(
                id,
                &format!("RaiseMsg: no value supplied for slot '{{{slot}}}'"),
            ),
        })
    }
}

/// The language's half of the exported catalogue, embedded at build time:
/// no file is read when the crate runs (the wasm import section stays
/// empty).
const CATALOGUE_TEXT: &str = include_str!("../data/messages.vla");

/// The language's catalogue, parsed once.
pub fn catalogue() -> &'static Catalogue {
    static CATALOGUE: OnceLock<Catalogue> = OnceLock::new();
    CATALOGUE.get_or_init(|| Catalogue::parse(CATALOGUE_TEXT))
}

/// How many entries the language's catalogue holds.
pub fn count() -> usize {
    catalogue().count()
}

/// The template of an id, unfilled, or `None` for an id the language's
/// catalogue does not know.
pub fn template(id: &str) -> Option<&'static str> {
    catalogue().template(id)
}

/// Every id of the language's catalogue, in the order the VBA registers them.
pub fn ids() -> Vec<&'static str> {
    catalogue().ids()
}

/// VBA `RaiseMsg` over the language's catalogue: the entry's number and
/// source, and its template with each `{slot}` replaced by the value given
/// for that name; an id the catalogue does not know is the reference's
/// internal error, [`unknown`].
pub fn raise(id: &str, slots: &[(&str, &str)]) -> Refusal {
    catalogue().raise(id, slots).unwrap_or_else(|| unknown(id))
}

/// The reference's internal error for an id no catalogue holds: `Err.Raise
/// 5, "VLA-Messages", ...`; here it keeps the id asked for, so a test can
/// still see it.
pub fn unknown(id: &str) -> Refusal {
    internal(id, &format!("RaiseMsg: unknown message id '{id}'"))
}

/// The reference's two internal errors are `Err.Raise 5, "VLA-Messages",
/// ...`; here they keep the id asked for, so a test can still see it.
fn internal(id: &str, text: &str) -> Refusal {
    Refusal {
        id: id.to_string(),
        number: 5,
        source: "VLA-Messages".to_string(),
        text: text.to_string(),
    }
}

/// VBA `SubstituteSlots`: scan for `{`, take the name up to the next `}`,
/// substitute its value; a `{` with no `}` after it ends the scan with the
/// rest copied as it stands. A name with no value is the error.
fn substitute_slots(template: &str, slots: &[(&str, &str)]) -> Result<String, String> {
    let mut out = String::with_capacity(template.len());
    let mut rest = template;
    loop {
        let Some(open) = rest.find('{') else {
            out.push_str(rest);
            return Ok(out);
        };
        let Some(close_rel) = rest[open..].find('}') else {
            out.push_str(rest);
            return Ok(out);
        };
        let close = open + close_rel;
        out.push_str(&rest[..open]);
        let name = &rest[open + 1..close];
        match slots.iter().find(|(k, _)| *k == name) {
            Some((_, v)) => out.push_str(v),
            None => return Err(name.to_string()),
        }
        rest = &rest[close + 1..];
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn the_language_s_catalogue_is_read_whole() {
        // 176 entries at the split of 2026-10-08 (PORT.12): the vla, interp,
        // lint and view families; tools/check_data_exports.ps1 holds the
        // same floor on the file.
        assert!(count() >= 176, "{} entries read", count());
        assert_eq!(ids()[0], "vla-source-not-found");
        assert_eq!(
            template("vla-unbalanced-parens").unwrap(),
            "unbalanced parentheses: missing ')'{loc}"
        );
        assert!(template("view-sheet-unknown").is_some());
        // The English engine's ids are the core's half, not this one's.
        assert!(template("english-test-failed").is_none());
        // A named error number, resolved by the exporter from VLA.bas.
        let r = raise(
            "vla-interpreter-only-handler",
            &[("name", "on:sheet-change")],
        );
        assert_eq!(r.number, -2147221504 + 7001);
        assert_eq!(r.source, "VLA");
        // Every id in the half belongs to one of the language's families.
        for id in ids() {
            let family = id.split('-').next().unwrap();
            assert!(
                ["vla", "interp", "lint", "view", "calc", "grid"].contains(&family),
                "{id} is not the language's"
            );
        }
        // The machine's family (KERNEL.22): eleven grid ids, a twelfth since
        // KERNEL.47 (`grid-format-code`), and the view's and recalculation's
        // own the machine adds.
        assert_eq!(
            ids().iter().filter(|id| id.starts_with("grid-")).count(),
            12
        );
        // A row's line is the answer's own field (KERNEL.23): no grid text
        // says it, so a write of one row never reads "Line 1".
        for id in ids().iter().filter(|id| id.starts_with("grid-")) {
            let text = template(id).unwrap();
            assert!(!text.contains("{line}"), "{id}: {text}");
        }
        for id in [
            "view-projection-unknown",
            "view-window-too-large",
            "calc-construct-not-read",
        ] {
            assert!(template(id).is_some(), "{id}");
        }
    }

    #[test]
    fn raise_fills_slots_as_raisemsg_does() {
        let r = raise("vla-form-missing-element", &[("n", "3")]);
        assert_eq!(r.id, "vla-form-missing-element");
        assert_eq!(r.number, 5);
        assert_eq!(r.source, "VLA");
        assert_eq!(r.text, "form is missing required element 3");
        let r = raise("vla-unbalanced-parens", &[("loc", "")]);
        assert_eq!(r.text, "unbalanced parentheses: missing ')'");
        let r = raise(
            "vla-expected-list-at-position",
            &[("n", "2"), ("value", "x")],
        );
        assert_eq!(r.text, "expected a list at position 2, got 'x'");
    }

    #[test]
    fn the_two_internal_errors_are_refusals_too() {
        let r = raise("no-such-id", &[]);
        assert_eq!(r.number, 5);
        assert_eq!(r.source, "VLA-Messages");
        assert_eq!(r.text, "RaiseMsg: unknown message id 'no-such-id'");
        let r = raise("vla-form-missing-element", &[]);
        assert_eq!(r.text, "RaiseMsg: no value supplied for slot '{n}'");
        // A catalogue answers None for an id it does not hold, and Some for
        // one it holds even when a slot is missing.
        assert!(catalogue().raise("no-such-id", &[]).is_none());
        assert!(catalogue().raise("vla-form-missing-element", &[]).is_some());
    }

    #[test]
    fn substitute_slots_copies_an_unclosed_brace() {
        assert_eq!(
            substitute_slots("a {x} b {", &[("x", "1")]).unwrap(),
            "a 1 b {"
        );
        assert_eq!(substitute_slots("no slots", &[]).unwrap(), "no slots");
        assert_eq!(
            substitute_slots("{a}{b}", &[("a", "1"), ("b", "2")]).unwrap(),
            "12"
        );
    }
}