kirigaya/sv-parser
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

bugfix73 Spelling-only Assetion -> Assertion

Browse Source
This commit is contained in:
damc 2022-11-22 17:01:28 +01:00
parent 70ebf3943b
commit 7acce55136
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
sv-parser-parser/src/behavioral_statements/assertion_statements.rs
View File

@ -19,10 +19,10 @@ pub(crate) fn assertion_item(s: Span) -> IResult<Span, AssertionItem> {
#[packrat_parser] #[packrat_parser]
pub(crate) fn deferred_immediate_assertion_item( pub(crate) fn deferred_immediate_assertion_item(
s: Span, s: Span,
) -> IResult<Span, DeferredImmediateAssetionItem> { ) -> IResult<Span, DeferredImmediateAssertionItem> {
let (s, a) = opt(pair(block_identifier, symbol(":")))(s)?; let (s, a) = opt(pair(block_identifier, symbol(":")))(s)?;
let (s, b) = deferred_immediate_assertion_statement(s)?; let (s, b) = deferred_immediate_assertion_statement(s)?;
Ok((s, DeferredImmediateAssetionItem { nodes: (a, b) })) Ok((s, DeferredImmediateAssertionItem { nodes: (a, b) }))
} }
#[tracable_parser] #[tracable_parser]
@ -45,13 +45,13 @@ pub(crate) fn procedural_assertion_statement(
#[tracable_parser] #[tracable_parser]
#[packrat_parser] #[packrat_parser]
pub(crate) fn immediate_assertion_statement(s: Span) -> IResult<Span, ImmediateAssetionStatement> { pub(crate) fn immediate_assertion_statement(s: Span) -> IResult<Span, ImmediateAssertionStatement> {
alt(( alt((
map(simple_immediate_assertion_statement, |x| { map(simple_immediate_assertion_statement, |x| {
ImmediateAssetionStatement::Simple(Box::new(x)) ImmediateAssertionStatement::Simple(Box::new(x))
}), }),
map(deferred_immediate_assertion_statement, |x| { map(deferred_immediate_assertion_statement, |x| {
ImmediateAssetionStatement::Deferred(Box::new(x)) ImmediateAssertionStatement::Deferred(Box::new(x))
}), }),
))(s) ))(s)
} }

8
sv-parser-syntaxtree/src/behavioral_statements/assertion_statements.rs
View File

@ -5,11 +5,11 @@ use crate::*;
#[derive(Clone, Debug, PartialEq, Node)] #[derive(Clone, Debug, PartialEq, Node)]
pub enum AssertionItem { pub enum AssertionItem {
Concurrent(Box<ConcurrentAssertionItem>), Concurrent(Box<ConcurrentAssertionItem>),
Immediate(Box<DeferredImmediateAssetionItem>), Immediate(Box<DeferredImmediateAssertionItem>),
} }
#[derive(Clone, Debug, PartialEq, Node)] #[derive(Clone, Debug, PartialEq, Node)]
pub struct DeferredImmediateAssetionItem { pub struct DeferredImmediateAssertionItem {
pub nodes: ( pub nodes: (
Option<(BlockIdentifier, Symbol)>, Option<(BlockIdentifier, Symbol)>,
DeferredImmediateAssertionStatement, DeferredImmediateAssertionStatement,
@ -19,12 +19,12 @@ pub struct DeferredImmediateAssetionItem {
#[derive(Clone, Debug, PartialEq, Node)] #[derive(Clone, Debug, PartialEq, Node)]
pub enum ProceduralAssertionStatement { pub enum ProceduralAssertionStatement {
Concurrent(Box<ConcurrentAssertionStatement>), Concurrent(Box<ConcurrentAssertionStatement>),
Immediate(Box<ImmediateAssetionStatement>), Immediate(Box<ImmediateAssertionStatement>),
Checker(Box<CheckerInstantiation>), Checker(Box<CheckerInstantiation>),
} }
#[derive(Clone, Debug, PartialEq, Node)] #[derive(Clone, Debug, PartialEq, Node)]
pub enum ImmediateAssetionStatement { pub enum ImmediateAssertionStatement {
Simple(Box<SimpleImmediateAssertionStatement>), Simple(Box<SimpleImmediateAssertionStatement>),
Deferred(Box<DeferredImmediateAssertionStatement>), Deferred(Box<DeferredImmediateAssertionStatement>),
} }