aldrin_parser/error/
expected_ident_found_reserved.rs

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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
use super::Error;
use crate::ast::Ident;
use crate::diag::{Diagnostic, DiagnosticKind, Formatted, Formatter};
use crate::validate::Validate;
use crate::Parsed;

const RESERVED: &[&str] = &[
    "bool",
    "box",
    "bytes",
    "const",
    "enum",
    "event",
    "f32",
    "f64",
    "fn",
    "i16",
    "i32",
    "i64",
    "i8",
    "import",
    "lifetime",
    "map",
    "object_id",
    "option",
    "receiver",
    "required",
    "result",
    "sender",
    "service",
    "service_id",
    "set",
    "string",
    "struct",
    "u16",
    "u32",
    "u64",
    "u8",
    "unit",
    "uuid",
    "value",
    "vec",
];

#[derive(Debug)]
pub struct ExpectedIdentFoundReserved {
    schema_name: String,
    ident: Ident,
}

impl ExpectedIdentFoundReserved {
    pub(crate) fn validate(ident: &Ident, validate: &mut Validate) {
        if RESERVED.contains(&ident.value()) {
            validate.add_error(Self {
                schema_name: validate.schema_name().to_owned(),
                ident: ident.clone(),
            });
        }
    }

    pub fn ident(&self) -> &Ident {
        &self.ident
    }
}

impl Diagnostic for ExpectedIdentFoundReserved {
    fn kind(&self) -> DiagnosticKind {
        DiagnosticKind::Error
    }

    fn schema_name(&self) -> &str {
        &self.schema_name
    }

    fn format<'a>(&'a self, parsed: &'a Parsed) -> Formatted<'a> {
        let mut fmt = Formatter::new(
            self,
            format!(
                "expected identifer; found reserved name `{}`",
                self.ident.value()
            ),
        );

        if let Some(schema) = parsed.get_schema(&self.schema_name) {
            fmt.main_block(
                schema,
                self.ident.span().from,
                self.ident.span(),
                "identifier expected here",
            );
        }

        fmt.note(format!(
            "the name `{}` is reserved and cannot be used as an identifer",
            self.ident.value()
        ));

        fmt.format()
    }
}

impl From<ExpectedIdentFoundReserved> for Error {
    fn from(e: ExpectedIdentFoundReserved) -> Self {
        Self::ExpectedIdentFoundReserved(e)
    }
}