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

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

#[derive(Clone, Debug, PartialEq)]
pub struct ConditionalStatement<'a>(
    pub Option<UniquePriority<'a>>,
    pub Metadata<'a>, // if
    pub Metadata<'a>, // (
    pub CondPredicate<'a>,
    pub Metadata<'a>, // )
    pub StatementOrNull<'a>,
    pub  Vec<(
        Metadata<'a>, // else
        Metadata<'a>, // if
        Metadata<'a>, // (
        CondPredicate<'a>,
        Metadata<'a>, // )
        StatementOrNull<'a>,
    )>,
    pub  Option<(
        Metadata<'a>, // else
        StatementOrNull<'a>,
    )>,
);

#[derive(Clone, Debug, PartialEq)]
pub enum UniquePriority<'a> {
    Unique(Metadata<'a>),
    Unique0(Metadata<'a>),
    Priority(Metadata<'a>),
}

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

#[derive(Clone, Debug, PartialEq)]
pub enum ExpressionOrCondPattern<'a> {
    Expression(Box<Expression<'a>>),
    CondPattern(Box<CondPattern<'a>>),
}

#[derive(Clone, Debug, PartialEq)]
pub struct CondPattern<'a>(
    pub Expression<'a>,
    pub Metadata<'a>, // matches
    pub Pattern<'a>,
);