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

// =======================================================================
// attributes.rs
// =======================================================================
// Parsing for 1800-2023 A.9.1

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

pub fn attribute_instance_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<AttributeInstance<'s>, VerboseError<'s>> {
    (
        token(Token::Paren),
        token(Token::Star),
        attr_spec_parser,
        repeat_note((token(Token::Comma), attr_spec_parser)),
        token(Token::Star),
        token(Token::EParen),
    )
        .map(|(a, b, c, d, e, f)| AttributeInstance(a, b, c, d, e, f))
        .parse_next(input)
}

pub(crate) fn attribute_instance_vec_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<Vec<AttributeInstance<'s>>, VerboseError<'s>> {
    repeat_note(attribute_instance_parser).parse_next(input)
}

pub fn attr_spec_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<AttrSpec<'s>, VerboseError<'s>> {
    (
        attr_name_parser,
        opt_note((token(Token::Eq), constant_expression_parser)),
    )
        .map(|(a, b)| AttrSpec(a, b))
        .parse_next(input)
}

pub fn attr_name_parser<'s>(
    input: &mut Tokens<'s>,
) -> ModalResult<AttrName<'s>, VerboseError<'s>> {
    identifier_parser.map(|a| AttrName(a)).parse_next(input)
}