scarf-syntax 0.2.1

A helper crate of scarf for expressing a SystemVerilog concrete syntax tree
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

// =======================================================================
// let_declarations.rs
// =======================================================================
//! CST Nodes from 1800-2023 A.2.12
use crate::*;

#[derive(Clone, Debug, PartialEq)]
pub struct LetDeclaration<'a>(
    pub Metadata<'a>, // let
    pub LetIdentifier<'a>,
    pub  Option<(
        Metadata<'a>, // (
        Option<LetPortList<'a>>,
        Metadata<'a>, // )
    )>,
    pub Metadata<'a>, // =
    pub Expression<'a>,
    pub Metadata<'a>, // ;
);

#[derive(Clone, Debug, PartialEq)]
pub struct LetIdentifier<'a>(pub Identifier<'a>);

#[derive(Clone, Debug, PartialEq)]
pub struct LetPortList<'a>(
    pub LetPortItem<'a>,
    pub Vec<(Metadata<'a>, LetPortItem<'a>)>,
);

#[derive(Clone, Debug, PartialEq)]
pub struct LetPortItem<'a>(
    pub Vec<AttributeInstance<'a>>,
    pub LetFormalType<'a>,
    pub FormalPortIdentifier<'a>,
    pub Vec<VariableDimension<'a>>,
    pub Option<(Metadata<'a>, Expression<'a>)>,
);

#[derive(Clone, Debug, PartialEq)]
pub enum LetFormalType<'a> {
    DataTypeOrImplicit(Box<DataTypeOrImplicit<'a>>),
    Untyped(Box<Metadata<'a>>),
}

#[derive(Clone, Debug, PartialEq)]
pub struct LetExpression<'a>(
    pub Option<PackageScope<'a>>,
    pub LetIdentifier<'a>,
    pub  Option<(
        Metadata<'a>, // (
        Option<LetListOfArguments<'a>>,
        Metadata<'a>, // )
    )>,
);

#[derive(Clone, Debug, PartialEq)]
pub struct LetListOfPartialIdentifierArguments<'a>(
    pub Option<LetActualArg<'a>>,
    pub Vec<(Metadata<'a>, Option<LetActualArg<'a>>)>,
    pub  Vec<(
        Metadata<'a>, // ,
        Metadata<'a>, // .
        Identifier<'a>,
        Metadata<'a>, // (
        Option<LetActualArg<'a>>,
        Metadata<'a>, // )
    )>,
);

#[derive(Clone, Debug, PartialEq)]
pub struct LetListOfIdentifierArguments<'a>(
    pub Metadata<'a>, // .
    pub Identifier<'a>,
    pub Metadata<'a>, // (
    pub Option<LetActualArg<'a>>,
    pub Metadata<'a>, // )
    pub  Vec<(
        Metadata<'a>, // ,
        Metadata<'a>, // .
        Identifier<'a>,
        Metadata<'a>, // (
        Option<LetActualArg<'a>>,
        Metadata<'a>, // )
    )>,
);

#[derive(Clone, Debug, PartialEq)]
pub enum LetListOfArguments<'a> {
    PartialIdentifier(Box<LetListOfPartialIdentifierArguments<'a>>),
    Identifier(Box<LetListOfIdentifierArguments<'a>>),
}

#[derive(Clone, Debug, PartialEq)]
pub struct LetActualArg<'a>(pub Expression<'a>);