microcad-lang-parse 0.5.0

µcad language syntax lexer and parser
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

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

mod expression;
mod literal;
mod source;
mod statement;
mod ty;

use microcad_lang_base::{Id, Span};

pub use expression::*;
pub use literal::*;
pub use source::*;
pub use statement::*;
pub use ty::*;

/// A µcad identifier
#[derive(Debug, PartialEq, Hash, Eq)]
#[allow(missing_docs)]
pub struct Identifier {
    pub span: Span,
    pub name: Id,
}

impl Dummy for Identifier {
    fn dummy(span: Span) -> Self {
        Self {
            span,
            name: Id::default(),
        }
    }
}

/// A µcad program
#[derive(Debug)]
#[allow(missing_docs)]
pub struct Program {
    pub span: Span,
    pub statements: StatementList,
}

/// Non-syntactic extras that can be attached to many ast nodes
#[derive(Clone, Debug, PartialEq, Default)]
#[allow(missing_docs)]
pub struct ItemExtras {
    pub leading: LeadingExtras,
    pub trailing: TrailingExtras,
}

/// Extras that occur *before* a syntax element.
#[derive(Debug, Clone, PartialEq, Default)]
#[allow(missing_docs)]
pub struct TrailingExtras(pub Vec<ItemExtra>);

/// Extras that occur *after* a syntax element.
#[derive(Debug, Clone, PartialEq, Default)]
#[allow(missing_docs)]
pub struct LeadingExtras(pub Vec<ItemExtra>);

#[derive(Debug, Clone, PartialEq)]
#[allow(missing_docs)]
#[non_exhaustive]
pub enum ItemExtra {
    Comment(Comment),
    Whitespace(String),
}

/// Return a dummy of this syntax element.
///
/// Used for recovery.
pub(crate) trait Dummy {
    fn dummy(span: Span) -> Self;
}