libhanzzok 0.1.5

Hanzzok compiler library
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

use nom::{
    branch::alt,
    combinator::{map, not, opt, recognize},
    multi::{many0, many1},
    sequence::{preceded, terminated, tuple},
};

use crate::{
    core::ast::{DecoratorChainNode, DecoratorNode, InlineObjectNode, TextNode},
    syntax::{Token, TokenKind},
};

use super::{
    nom_ext::{satisfy, satisfy_transform, skip_any_spaces, tag, HanzzokParser},
    parse_hzdata::parse_hzdata_paired,
    parse_inline_constructor::parse_inline_constructor,
    parse_text::{parse_escaped_text, parse_fallback_text},
    ParseResult,
};

fn parse_decorator_params(p: HanzzokParser) -> ParseResult<Vec<Token>> {
    parse_hzdata_paired(
        TokenKind::PunctuationLeftParenthesis,
        TokenKind::PunctuationRightParenthesis,
        true,
    )(p)
}

pub fn parse_decorator_chain(p: HanzzokParser) -> ParseResult<DecoratorChainNode> {
    let tt = p.create_tracker();

    let (p, _) = tag(TokenKind::PunctuationLeftSquareBracket)(p)?;

    let (p, _) = skip_any_spaces(p)?;

    let (p, main_text) = alt((
        map(
            parse_inline_constructor,
            InlineObjectNode::InlineConstructor,
        ),
        map(
            many1(alt((
                parse_escaped_text,
                preceded(
                    not(alt((
                        recognize(tuple((
                            tag(TokenKind::PunctuationFullStop),
                            satisfy(|t| matches!(t.kind, TokenKind::Word(_))),
                        ))),
                        recognize(tag(TokenKind::PunctuationRightSquareBracket)),
                    ))),
                    parse_fallback_text,
                ),
            ))),
            |nodes| {
                InlineObjectNode::Text(TextNode {
                    tokens: nodes
                        .into_iter()
                        .flat_map(|node| node.tokens.into_iter())
                        .collect(),
                })
            },
        ),
    ))(p)?;

    let (p, _) = skip_any_spaces(p)?;

    let (p, decorators) = many0(terminated(
        |p: HanzzokParser| {
            let tt = p.create_tracker();
            let (p, _) = tag(TokenKind::PunctuationFullStop)(p)?;
            let (p, name) = many1(satisfy_transform(|t| match &t.kind {
                TokenKind::Word(w) => Some(w.clone()),
                TokenKind::PunctuationHyphenMinus => Some("-".to_owned()),
                _ => None,
            }))(p)?;
            let (p, params) = opt(parse_decorator_params)(p)?;
            let tokens = tt.end(&p);
            Ok((
                p,
                DecoratorNode {
                    tokens,
                    name: name.into_iter().map(|(_, name)| name).collect(),
                    params: params
                        .map(|params| params.into_iter().map(|t| t.text).collect::<String>()),
                },
            ))
        },
        skip_any_spaces,
    ))(p)?;

    let (p, _) = tag(TokenKind::PunctuationRightSquareBracket)(p)?;

    let tokens = tt.end(&p);

    Ok((
        p,
        DecoratorChainNode {
            main_text: Box::new(main_text),
            decorators,
            tokens,
        },
    ))
}