knave 0.14.8

A Lisp programming language for humans and agents that infers types and ownership and compiles to readable Rust
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

use std::rc::Rc;

use super::diagnostic_output::{DiagnosticOutput, MessageOutput};
use crate::diagnostic::Diagnostics;
use crate::source::{SourceId, SourceMap};

pub struct UserLabelOutput {
    inner: Rc<dyn DiagnosticOutput>,
    generated: Vec<&'static str>,
}

impl UserLabelOutput {
    pub fn new(inner: Rc<dyn DiagnosticOutput>, generated: Vec<&'static str>) -> Self {
        Self { inner, generated }
    }

    fn without_generated_labels(
        &self,
        sources: &SourceMap,
        diagnostics: &Diagnostics,
    ) -> Diagnostics {
        diagnostics.clone().map(|diagnostic| {
            let generated: Vec<SourceId> = diagnostic
                .labels()
                .map(|label| label.span().source())
                .filter(|source| self.generated.contains(&sources.file(*source).name()))
                .collect();
            generated
                .into_iter()
                .fold(diagnostic, |diagnostic, source| {
                    diagnostic.without_labels_in(source)
                })
        })
    }
}

impl MessageOutput for UserLabelOutput {}

impl DiagnosticOutput for UserLabelOutput {
    fn write(&self, sources: &SourceMap, diagnostics: &Diagnostics) {
        self.inner.write(
            sources,
            &self.without_generated_labels(sources, diagnostics),
        );
    }

    fn write_note(&self, sources: &SourceMap, message: &str) {
        self.inner.write_note(sources, message);
    }
}