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
94
95
96
97
98
99
100
101
102
103
104

// =======================================================================
// specify_block_terminals.rs
// =======================================================================
// Parsing for 1800-2023 A.7.3

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

pub fn list_of_path_inputs_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<ListOfPathInputs<'s>, VerboseError<'s>> {
    (
        specify_input_terminal_descriptor_parser,
        repeat_note((
            token(Token::Comma),
            specify_input_terminal_descriptor_parser,
        )),
    )
        .map(|(a, b)| ListOfPathInputs(a, b))
        .parse_next(input)
}

pub fn list_of_path_outputs_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<ListOfPathOutputs<'s>, VerboseError<'s>> {
    (
        specify_output_terminal_descriptor_parser,
        repeat_note((
            token(Token::Comma),
            specify_output_terminal_descriptor_parser,
        )),
    )
        .map(|(a, b)| ListOfPathOutputs(a, b))
        .parse_next(input)
}

pub fn specify_input_terminal_descriptor_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<SpecifyInputTerminalDescriptor<'s>, VerboseError<'s>> {
    (
        input_identifier_parser,
        opt_note((
            token(Token::Bracket),
            constant_range_expression_parser,
            token(Token::EBracket),
        )),
    )
        .map(|(a, b)| SpecifyInputTerminalDescriptor(a, b))
        .parse_next(input)
}

pub fn specify_output_terminal_descriptor_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<SpecifyOutputTerminalDescriptor<'s>, VerboseError<'s>> {
    (
        output_identifier_parser,
        opt_note((
            token(Token::Bracket),
            constant_range_expression_parser,
            token(Token::EBracket),
        )),
    )
        .map(|(a, b)| SpecifyOutputTerminalDescriptor(a, b))
        .parse_next(input)
}

pub fn input_identifier_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<InputIdentifier<'s>, VerboseError<'s>> {
    alt((
        input_port_identifier_parser
            .map(|a| InputIdentifier::Input(Box::new(a))),
        inout_port_identifier_parser
            .map(|a| InputIdentifier::Inout(Box::new(a))),
        (
            interface_identifier_parser,
            token(Token::Period),
            port_identifier_parser,
        )
            .map(|(a, b, c)| InputIdentifier::Interface(Box::new((a, b, c)))),
    ))
    .parse_next(input)
}

pub fn output_identifier_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<OutputIdentifier<'s>, VerboseError<'s>> {
    alt((
        output_port_identifier_parser
            .map(|a| OutputIdentifier::Output(Box::new(a))),
        inout_port_identifier_parser
            .map(|a| OutputIdentifier::Inout(Box::new(a))),
        (
            interface_identifier_parser,
            token(Token::Period),
            port_identifier_parser,
        )
            .map(|(a, b, c)| OutputIdentifier::Interface(Box::new((a, b, c)))),
    ))
    .parse_next(input)
}