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

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

#[derive(Clone, Debug, PartialEq)]
pub struct CheckerPortList<'a>(
    pub CheckerPortItem<'a>,
    pub  Vec<(
        Metadata<'a>, // ,
        CheckerPortItem<'a>,
    )>,
);

#[derive(Clone, Debug, PartialEq)]
pub struct CheckerPortItem<'a>(
    pub Vec<AttributeInstance<'a>>,
    pub Option<CheckerPortDirection<'a>>,
    pub PropertyFormalType<'a>,
    pub FormalPortIdentifier<'a>,
    pub Vec<VariableDimension<'a>>,
    pub  Option<(
        Metadata<'a>, // =
        PropertyActualArg<'a>,
    )>,
);

#[derive(Clone, Debug, PartialEq)]
pub enum CheckerPortDirection<'a> {
    Input(Metadata<'a>),
    Output(Metadata<'a>),
}

#[derive(Clone, Debug, PartialEq)]
pub enum CheckerOrGenerateItem<'a> {
    Declaration(Box<CheckerOrGenerateItemDeclaration<'a>>),
    Initial(Box<InitialConstruct<'a>>),
    Always(Box<AlwaysConstruct<'a>>),
    Final(Box<FinalConstruct<'a>>),
    Assertion(Box<AssertionItem<'a>>),
    Assign(Box<ContinuousAssign<'a>>),
    Generate(Box<CheckerGenerateItem<'a>>),
}

#[derive(Clone, Debug, PartialEq)]
pub enum CheckerOrGenerateItemDeclaration<'a> {
    Data(
        Box<(
            Option<Metadata<'a>>, // rand
            DataDeclaration<'a>,
        )>,
    ),
    Function(Box<FunctionDeclaration<'a>>),
    Checker(Box<CheckerDeclaration<'a>>),
    AssertionItem(Box<AssertionItemDeclaration<'a>>),
    Covergroup(Box<CovergroupDeclaration<'a>>),
    Genvar(Box<GenvarDeclaration<'a>>),
    Clocking(Box<ClockingDeclaration<'a>>),
    DefaultClocking(
        Box<(
            Metadata<'a>, // default
            Metadata<'a>, // clocking
            ClockingIdentifier<'a>,
            Metadata<'a>, // ;
        )>,
    ),
    DefaultDisable(
        Box<(
            Metadata<'a>, // default
            Metadata<'a>, // disable
            Metadata<'a>, // iff
            ExpressionOrDist<'a>,
            Metadata<'a>, // ;
        )>,
    ),
    Null(Box<Metadata<'a>>),
}

#[derive(Clone, Debug, PartialEq)]
pub enum CheckerGenerateItem<'a> {
    Loop(Box<LoopGenerateConstruct<'a>>),
    Conditional(Box<ConditionalGenerateConstruct<'a>>),
    Region(Box<GenerateRegion<'a>>),
    ElaborationSeverity(Box<ElaborationSeveritySystemTask<'a>>),
}