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

// =======================================================================
// parallel_and_sequential_blocks.rs
// =======================================================================
// Parsing for 1800-2023 A.6.3

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

pub fn action_block_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<ActionBlock<'s>, VerboseError<'s>> {
    alt((
        statement_or_null_parser.map(|a| ActionBlock::Basic(Box::new(a))),
        (
            opt_note(statement_parser),
            token(Token::Else),
            statement_or_null_parser,
        )
            .map(|(a, b, c)| ActionBlock::Conditional(Box::new((a, b, c)))),
    ))
    .parse_next(input)
}

pub fn seq_block_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<SeqBlock<'s>, VerboseError<'s>> {
    (
        token(Token::Begin),
        opt_note((token(Token::Colon), block_identifier_parser)),
        repeat_note(block_item_declaration_parser),
        repeat_note(statement_or_null_parser),
        token(Token::End),
        opt_note((token(Token::Colon), block_identifier_parser)),
    )
        .map(|(a, b, c, d, e, f)| SeqBlock(a, b, c, d, e, f))
        .parse_next(input)
}

pub fn par_block_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<ParBlock<'s>, VerboseError<'s>> {
    (
        token(Token::Fork),
        opt_note((token(Token::Colon), block_identifier_parser)),
        repeat_note(block_item_declaration_parser),
        repeat_note(statement_or_null_parser),
        join_keyword_parser,
        opt_note((token(Token::Colon), block_identifier_parser)),
    )
        .map(|(a, b, c, d, e, f)| ParBlock(a, b, c, d, e, f))
        .parse_next(input)
}

pub fn join_keyword_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<JoinKeyword<'s>, VerboseError<'s>> {
    alt((
        token(Token::Join).map(|a| JoinKeyword::Join(a)),
        token(Token::JoinAny).map(|a| JoinKeyword::JoinAny(a)),
        token(Token::JoinNone).map(|a| JoinKeyword::JoinNone(a)),
    ))
    .parse_next(input)
}