rustre_parser/parser/
model.rs

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
use super::*;

pub fn parse_provides<'slice, 'src>(input: Input<'slice, 'src>) -> IResult<'slice, 'src> {
    opt(node(
        ProvidesListNode,
        many_delimited(
            t(Provides),
            join((
                parse_provide,
                expect(t(Semicolon), "provides must be separated by semicolons"),
            )),
            success,
            peek(t(Body)),
        ),
    ))(input)
}

pub fn parse_provide<'slice, 'src>(input: Input<'slice, 'src>) -> IResult<'slice, 'src> {
    node(
        ProvidesNode,
        alt((
            join((
                t(Const),
                expect(ident::parse_id_any, "missing const name"),
                expect(
                    join((t(Colon), expect(parse_type, "missing type after `:`"))),
                    "type of constant must be specified explicitly",
                ),
                opt(join((
                    t(Equal),
                    expect(
                        expression::parse_expression,
                        "expected expression initializer after `=`",
                    ),
                ))),
            )),
            join((
                nodes::parse_node_type,
                expect(ident::parse_id_any, "missing node name"),
                static_rules::parse_static_params,
                expect(nodes::parse_params_and_returns, "missing node signature"),
            )),
            join((
                t(Type),
                expect(type_decl::parse_one_type_decl, "expected type declaration"),
            )),
        )),
    )(input)
}

pub fn parse_model_decl<'slice, 'src>(input: Input<'slice, 'src>) -> IResult<'slice, 'src> {
    node(
        ModelDeclNode,
        join((
            t(Model),
            expect(ident::parse_id_any, "missing model name"),
            package::parse_uses,
            expect(
                many_delimited(
                    t(Needs),
                    static_rules::parse_static_param,
                    t(Semicolon),
                    join((t(Semicolon), peek(alt((t(Provides), t(Body)))))),
                ),
                "expected `needs` clause",
            ),
            parse_provides,
            package::parse_pack_decl_body,
        )),
    )(input)
}