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
use crate::{Ident, InvalidIdent, Specs};
use anyhow::{anyhow, Context, Result};
use proc_macro2::TokenStream;
use std::{
fmt::{self, Display, Formatter},
str::FromStr,
};
mod collapsed;
mod lex;
mod parsed;
mod print;
mod raw;
pub fn generate_ast_mod(text: &str, specs: &Specs<'_>, config: &Config<'_>) -> Result<TokenStream> {
let error = TokenStream::from_str(config.error)
.map_err(|err| anyhow!("{err}"))
.context("failed to lex the error type")?;
let tokens_mod = TokenStream::from_str(config.tokens_mod)
.map_err(|err| anyhow!("{err}"))
.context("failed to lex the tokens mod path")?;
let span = match config.span {
Some(span) => Some(
TokenStream::from_str(span)
.map_err(|err| anyhow!("{err}"))
.context("failed to lex the span type")?,
),
None => None,
};
let ast = raw::Ast::parse(text).context("failed to lex AST description")?;
let ast = ast
.transform(specs)
.context("failed to parse AST description")?;
let ast = ast
.transform()
.context("failed to collapse AST description")?;
let ast = ast.print(specs, error, tokens_mod, span);
Ok(ast)
}
#[non_exhaustive]
pub struct Config<'c> {
pub error: &'c str,
pub tokens_mod: &'c str,
pub span: Option<&'c str>,
}
#[derive(Copy, Clone, Debug, Eq, PartialEq, Hash)]
enum Modifier {
Repeat,
Csv,
OnePlus,
CsvOnePlus,
Optional,
Boxed,
}
impl<'i> Ident<'i> {
pub fn new(ident: &'i str) -> Result<Self, InvalidIdent> {
if ident.chars().all(|c| raw::IDENT_CHARS.contains(c)) {
Ok(Ident(ident))
} else {
Err(InvalidIdent(String::from(ident)))
}
}
}
impl Default for Config<'_> {
fn default() -> Self {
Self {
error: "::chumsky::error::Simple<Token>",
tokens_mod: "crate::tokens",
span: None,
}
}
}
impl Display for Modifier {
fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
match self {
Modifier::Repeat => write!(f, "*"),
Modifier::Csv => write!(f, ",*"),
Modifier::OnePlus => write!(f, "+"),
Modifier::CsvOnePlus => write!(f, ",+"),
Modifier::Optional => write!(f, "?"),
Modifier::Boxed => write!(f, "~"),
}
}
}