scarf-parser 0.1.1

A helper crate of scarf for parsing a SystemVerilog source file
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

// =======================================================================
// patterns.rs
// =======================================================================
// Parsing for 1800-2023 A.6.6

use crate::*;
use scarf_syntax::*;
use winnow::ModalResult;
use winnow::Parser;
use winnow::combinator::alt;

pub fn conditional_statement_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<ConditionalStatement<'s>, VerboseError<'s>> {
    (
        opt_note(unique_priority_parser),
        token(Token::If),
        token(Token::Paren),
        cond_predicate_parser,
        token(Token::EParen),
        statement_or_null_parser,
        repeat_note((
            token(Token::Else),
            token(Token::If),
            token(Token::Paren),
            cond_predicate_parser,
            token(Token::EParen),
            statement_or_null_parser,
        )),
        opt_note((token(Token::Else), statement_or_null_parser)),
    )
        .map(|(a, b, c, d, e, f, g, h)| {
            ConditionalStatement(a, b, c, d, e, f, g, h)
        })
        .parse_next(input)
}

pub fn unique_priority_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<UniquePriority<'s>, VerboseError<'s>> {
    alt((
        token(Token::Unique).map(|a| UniquePriority::Unique(a)),
        token(Token::Unique0).map(|a| UniquePriority::Unique0(a)),
        token(Token::Priority).map(|a| UniquePriority::Priority(a)),
    ))
    .parse_next(input)
}

pub fn cond_predicate_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<CondPredicate<'s>, VerboseError<'s>> {
    (
        expression_or_cond_pattern_parser,
        repeat_note((
            token(Token::AmpAmpAmp),
            expression_or_cond_pattern_parser,
        )),
    )
        .map(|(a, b)| CondPredicate(a, b))
        .parse_next(input)
}

pub fn expression_or_cond_pattern_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<ExpressionOrCondPattern<'s>, VerboseError<'s>> {
    (
        gen_expression_parser(matches_operator_binding_power() + 1),
        opt_note((
            token(Token::Matches),
            gen_pattern_parser(matches_operator_binding_power() + 1),
        )),
    )
        .map(|(a, b)| match b {
            Some((metadata, pattern)) => ExpressionOrCondPattern::CondPattern(
                Box::new(CondPattern(a, metadata, pattern)),
            ),
            None => ExpressionOrCondPattern::Expression(Box::new(a)),
        })
        .parse_next(input)
}

#[allow(dead_code)] // Integrated in expression_or_cond_pattern_parser
pub fn cond_pattern_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<CondPattern<'s>, VerboseError<'s>> {
    (
        gen_expression_parser(matches_operator_binding_power() + 1),
        token(Token::Matches),
        gen_pattern_parser(matches_operator_binding_power() + 1),
    )
        .map(|(a, b, c)| CondPattern(a, b, c))
        .parse_next(input)
}