knave-expand 0.14.22

The reading, scoping and expansion stages of knave
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

use std::rc::Rc;

use crate::diagnostic::{CodeStage, Diagnostic, DiagnosticCode, SimilarName};
use crate::interpret::problems::InterpretProblems;
use crate::interpret::warning_problems::WarningProblems;
use crate::source::Span;

type UnknownCode = fn(&str, Span, Option<Rc<str>>) -> Diagnostic;

pub struct CodeBook {
    stage: CodeStage,
    unknown: UnknownCode,
}

impl CodeBook {
    pub const MACROS: Self = Self {
        stage: CodeStage::MACROS,
        unknown: InterpretProblems::unknown_failure_code,
    };
    pub const LINTS: Self = Self {
        stage: CodeStage::LINTS,
        unknown: WarningProblems::unknown_lint,
    };

    pub fn code_named(&self, name: &str, span: Span) -> Result<DiagnosticCode, Diagnostic> {
        self.stage.code_named(name).ok_or_else(|| {
            let similar = SimilarName::closest(name, &self.stage.names());
            (self.unknown)(name, span, similar)
        })
    }
}