unidok-parser 0.2.0

Parser for the Unidok document format
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

use aho_corasick::AhoCorasick;
use detached_str::StrSlice;
use unidok_repr::ast::macros::MacroArgs;

use crate::utils::{Indents, ParseLineBreak, ParseOneWS, Until};
use crate::{Input, Parse, ParseInfallible};

use super::token_trees::ParseTokenTrees;

pub(crate) struct ParseMacroArgs<'a> {
    pub name: &'a str,
    pub ind: Indents<'a>,
    pub ac: &'a AhoCorasick,
}

impl Parse for ParseMacroArgs<'_> {
    type Output = Option<MacroArgs>;

    fn parse(&mut self, input: &mut Input) -> Option<Self::Output> {
        let mut input = input.start();

        if input.parse('(').is_none() {
            return Some(None);
        }
        let content = match self.name {
            "LOAD" => MacroArgs::Raw(input.parse_i(ParseRaw)),
            _ => MacroArgs::TokenTrees(
                input.parse(ParseTokenTrees { ind: self.ind.push_indent(2), ac: self.ac })?,
            ),
        };

        input.try_parse(ParseLineBreak(self.ind));
        input.try_parse(ParseOneWS);
        input.parse(')')?;

        input.apply();
        Some(Some(content))
    }
}

struct ParseRaw;

impl ParseInfallible for ParseRaw {
    type Output = StrSlice;

    fn parse_infallible(&self, input: &mut Input) -> Self::Output {
        input.parse_i(Until(|c| matches!(c, ')' | '\n' | '\r')))
    }
}