sv_parser_parser/specify_section/
system_timing_check_command_arguments.rs

1use crate::*;
2
3// -----------------------------------------------------------------------------
4
5#[tracable_parser]
6#[packrat_parser]
7pub(crate) fn timecheck_condition(s: Span) -> IResult<Span, TimecheckCondition> {
8    let (s, a) = mintypmax_expression(s)?;
9    Ok((s, TimecheckCondition { nodes: (a,) }))
10}
11
12#[tracable_parser]
13#[packrat_parser]
14pub(crate) fn controlled_referecne_event(s: Span) -> IResult<Span, ControlledReferenceEvent> {
15    let (s, a) = controlled_timing_check_event(s)?;
16    Ok((s, ControlledReferenceEvent { nodes: (a,) }))
17}
18
19#[tracable_parser]
20#[packrat_parser]
21pub(crate) fn data_event(s: Span) -> IResult<Span, DataEvent> {
22    let (s, a) = timing_check_event(s)?;
23    Ok((s, DataEvent { nodes: (a,) }))
24}
25
26#[tracable_parser]
27#[packrat_parser]
28pub(crate) fn delayed_data(s: Span) -> IResult<Span, DelayedData> {
29    alt((
30        delayed_data_with_mintypmax,
31        map(terminal_identifier, |x| {
32            DelayedData::TerminalIdentifier(Box::new(x))
33        }),
34    ))(s)
35}
36
37#[tracable_parser]
38#[packrat_parser]
39pub(crate) fn delayed_data_with_mintypmax(s: Span) -> IResult<Span, DelayedData> {
40    let (s, a) = terminal_identifier(s)?;
41    let (s, b) = bracket(constant_mintypmax_expression)(s)?;
42    Ok((
43        s,
44        DelayedData::WithMintypmax(Box::new(DelayedDataWithMintypmax { nodes: (a, b) })),
45    ))
46}
47
48#[tracable_parser]
49#[packrat_parser]
50pub(crate) fn delayed_reference(s: Span) -> IResult<Span, DelayedReference> {
51    alt((
52        delayed_reference_with_mintypmax,
53        map(terminal_identifier, |x| {
54            DelayedReference::TerminalIdentifier(Box::new(x))
55        }),
56    ))(s)
57}
58
59#[tracable_parser]
60#[packrat_parser]
61pub(crate) fn delayed_reference_with_mintypmax(s: Span) -> IResult<Span, DelayedReference> {
62    let (s, a) = terminal_identifier(s)?;
63    let (s, b) = bracket(constant_mintypmax_expression)(s)?;
64    Ok((
65        s,
66        DelayedReference::WithMintypmax(Box::new(DelayedReferenceWithMintypmax { nodes: (a, b) })),
67    ))
68}
69
70#[tracable_parser]
71#[packrat_parser]
72pub(crate) fn end_edge_offset(s: Span) -> IResult<Span, EndEdgeOffset> {
73    let (s, a) = mintypmax_expression(s)?;
74    Ok((s, EndEdgeOffset { nodes: (a,) }))
75}
76
77#[tracable_parser]
78#[packrat_parser]
79pub(crate) fn event_based_flag(s: Span) -> IResult<Span, EventBasedFlag> {
80    let (s, a) = constant_expression(s)?;
81    Ok((s, EventBasedFlag { nodes: (a,) }))
82}
83
84#[tracable_parser]
85#[packrat_parser]
86pub(crate) fn notifier(s: Span) -> IResult<Span, Notifier> {
87    let (s, a) = variable_identifier(s)?;
88    Ok((s, Notifier { nodes: (a,) }))
89}
90
91#[tracable_parser]
92#[packrat_parser]
93pub(crate) fn referecne_event(s: Span) -> IResult<Span, ReferenceEvent> {
94    let (s, a) = timing_check_event(s)?;
95    Ok((s, ReferenceEvent { nodes: (a,) }))
96}
97
98#[tracable_parser]
99#[packrat_parser]
100pub(crate) fn remain_active_flag(s: Span) -> IResult<Span, RemainActiveFlag> {
101    let (s, a) = constant_mintypmax_expression(s)?;
102    Ok((s, RemainActiveFlag { nodes: (a,) }))
103}
104
105#[tracable_parser]
106#[packrat_parser]
107pub(crate) fn timestamp_condition(s: Span) -> IResult<Span, TimestampCondition> {
108    let (s, a) = mintypmax_expression(s)?;
109    Ok((s, TimestampCondition { nodes: (a,) }))
110}
111
112#[tracable_parser]
113#[packrat_parser]
114pub(crate) fn start_edge_offset(s: Span) -> IResult<Span, StartEdgeOffset> {
115    let (s, a) = mintypmax_expression(s)?;
116    Ok((s, StartEdgeOffset { nodes: (a,) }))
117}
118
119#[tracable_parser]
120#[packrat_parser]
121pub(crate) fn threshold(s: Span) -> IResult<Span, Threshold> {
122    let (s, a) = constant_expression(s)?;
123    Ok((s, Threshold { nodes: (a,) }))
124}
125
126#[tracable_parser]
127#[packrat_parser]
128pub(crate) fn timing_check_limit(s: Span) -> IResult<Span, TimingCheckLimit> {
129    let (s, a) = expression(s)?;
130    Ok((s, TimingCheckLimit { nodes: (a,) }))
131}
sv_parser_parser/specify_section/system_timing_check_command_arguments.rs

sv_parser_parser/specify_section/
system_timing_check_command_arguments.rs
