sv_parser_syntaxtree/specify_section/
system_timing_check_command_arguments.rs

1use crate::*;
2
3// -----------------------------------------------------------------------------
4
5#[derive(Clone, Debug, PartialEq, Node)]
6pub struct TimecheckCondition {
7    pub nodes: (MintypmaxExpression,),
8}
9
10#[derive(Clone, Debug, PartialEq, Node)]
11pub struct ControlledReferenceEvent {
12    pub nodes: (ControlledTimingCheckEvent,),
13}
14
15#[derive(Clone, Debug, PartialEq, Node)]
16pub struct DataEvent {
17    pub nodes: (TimingCheckEvent,),
18}
19
20#[derive(Clone, Debug, PartialEq, Node)]
21pub enum DelayedData {
22    TerminalIdentifier(Box<TerminalIdentifier>),
23    WithMintypmax(Box<DelayedDataWithMintypmax>),
24}
25
26#[derive(Clone, Debug, PartialEq, Node)]
27pub struct DelayedDataWithMintypmax {
28    pub nodes: (TerminalIdentifier, Bracket<ConstantMintypmaxExpression>),
29}
30
31#[derive(Clone, Debug, PartialEq, Node)]
32pub enum DelayedReference {
33    TerminalIdentifier(Box<TerminalIdentifier>),
34    WithMintypmax(Box<DelayedReferenceWithMintypmax>),
35}
36
37#[derive(Clone, Debug, PartialEq, Node)]
38pub struct DelayedReferenceWithMintypmax {
39    pub nodes: (TerminalIdentifier, Bracket<ConstantMintypmaxExpression>),
40}
41
42#[derive(Clone, Debug, PartialEq, Node)]
43pub struct EndEdgeOffset {
44    pub nodes: (MintypmaxExpression,),
45}
46
47#[derive(Clone, Debug, PartialEq, Node)]
48pub struct EventBasedFlag {
49    pub nodes: (ConstantExpression,),
50}
51
52#[derive(Clone, Debug, PartialEq, Node)]
53pub struct Notifier {
54    pub nodes: (VariableIdentifier,),
55}
56
57#[derive(Clone, Debug, PartialEq, Node)]
58pub struct ReferenceEvent {
59    pub nodes: (TimingCheckEvent,),
60}
61
62#[derive(Clone, Debug, PartialEq, Node)]
63pub struct RemainActiveFlag {
64    pub nodes: (ConstantMintypmaxExpression,),
65}
66
67#[derive(Clone, Debug, PartialEq, Node)]
68pub struct TimestampCondition {
69    pub nodes: (MintypmaxExpression,),
70}
71
72#[derive(Clone, Debug, PartialEq, Node)]
73pub struct StartEdgeOffset {
74    pub nodes: (MintypmaxExpression,),
75}
76
77#[derive(Clone, Debug, PartialEq, Node)]
78pub struct Threshold {
79    pub nodes: (ConstantExpression,),
80}
81
82#[derive(Clone, Debug, PartialEq, Node)]
83pub struct TimingCheckLimit {
84    pub nodes: (Expression,),
85}