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
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
107
108

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

use crate::ast::{ItemExtras, Span, Unit};

use microcad_lang_base::CompactString;
use std::num::{ParseFloatError, ParseIntError};
use thiserror::Error;

/// A literal value
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct Literal {
    pub span: Span,
    pub extras: ItemExtras,
    pub literal: LiteralKind,
}

/// The various types of literal values a [`Literal`] can contain
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub enum LiteralKind {
    Error(LiteralError),
    String(StringLiteral),
    Bool(BoolLiteral),
    Integer(IntegerLiteral),
    Float(FloatLiteral),
    Quantity(QuantityLiteral),
}

impl LiteralKind {
    /// Get the span for the literal
    pub fn span(&self) -> Span {
        match self {
            LiteralKind::Error(lit) => lit.span.clone(),
            LiteralKind::String(lit) => lit.span.clone(),
            LiteralKind::Bool(lit) => lit.span.clone(),
            LiteralKind::Integer(lit) => lit.span.clone(),
            LiteralKind::Float(lit) => lit.span.clone(),
            LiteralKind::Quantity(lit) => lit.span.clone(),
        }
    }
}

/// A string literal, without format expressions
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct StringLiteral {
    pub span: Span,
    pub content: String,
}

/// A boolean literal, either `true` or `false`
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct BoolLiteral {
    pub span: Span,
    pub value: bool,
}

/// An integer literal without type
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct IntegerLiteral {
    pub span: Span,
    pub value: i64,
    pub raw: CompactString,
}

/// An float literal without type
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct FloatLiteral {
    pub span: Span,
    pub value: f64,
    pub raw: CompactString,
}

/// A float literal with type
#[derive(Debug, PartialEq)]
#[allow(missing_docs)]
pub struct QuantityLiteral {
    pub span: Span,
    pub value: f64,
    pub raw: CompactString,
    pub unit: Unit,
}

/// An error that can be encountered while parsing literal tokens
#[derive(Debug, PartialEq, Clone)]
#[allow(missing_docs)]
pub struct LiteralError {
    pub span: Span,
    pub kind: LiteralErrorKind,
}

#[derive(Debug, Error, PartialEq, Clone)]
#[allow(missing_docs)]
pub enum LiteralErrorKind {
    #[error(transparent)]
    Float(#[from] ParseFloatError),
    #[error(transparent)]
    Int(#[from] ParseIntError),
    #[error("unclosed string literal")]
    UnclosedString,
    #[error("only numeric literals can be typed")]
    Untypable,
}