Enum sv_parser_syntaxtree::behavioral_statements::assertion_statements::SimpleImmediateAssertionStatement
source · pub enum SimpleImmediateAssertionStatement {
Assert(Box<SimpleImmediateAssertStatement>),
Assume(Box<SimpleImmediateAssumeStatement>),
Cover(Box<SimpleImmediateCoverStatement>),
}
Variants§
Assert(Box<SimpleImmediateAssertStatement>)
Assume(Box<SimpleImmediateAssumeStatement>)
Cover(Box<SimpleImmediateCoverStatement>)
Trait Implementations§
source§impl Clone for SimpleImmediateAssertionStatement
impl Clone for SimpleImmediateAssertionStatement
source§fn clone(&self) -> SimpleImmediateAssertionStatement
fn clone(&self) -> SimpleImmediateAssertionStatement
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'a> From<&'a SimpleImmediateAssertionStatement> for RefNode<'a>
impl<'a> From<&'a SimpleImmediateAssertionStatement> for RefNode<'a>
source§fn from(x: &'a SimpleImmediateAssertionStatement) -> Self
fn from(x: &'a SimpleImmediateAssertionStatement) -> Self
Converts to this type from the input type.
source§impl<'a> From<&'a SimpleImmediateAssertionStatement> for RefNodes<'a>
impl<'a> From<&'a SimpleImmediateAssertionStatement> for RefNodes<'a>
source§fn from(x: &'a SimpleImmediateAssertionStatement) -> Self
fn from(x: &'a SimpleImmediateAssertionStatement) -> Self
Converts to this type from the input type.
source§impl From<SimpleImmediateAssertionStatement> for AnyNode
impl From<SimpleImmediateAssertionStatement> for AnyNode
source§fn from(x: SimpleImmediateAssertionStatement) -> Self
fn from(x: SimpleImmediateAssertionStatement) -> Self
Converts to this type from the input type.
source§impl<'a> IntoIterator for &'a SimpleImmediateAssertionStatement
impl<'a> IntoIterator for &'a SimpleImmediateAssertionStatement
source§impl<'a> Node<'a> for SimpleImmediateAssertionStatement
impl<'a> Node<'a> for SimpleImmediateAssertionStatement
source§impl PartialEq for SimpleImmediateAssertionStatement
impl PartialEq for SimpleImmediateAssertionStatement
source§fn eq(&self, other: &SimpleImmediateAssertionStatement) -> bool
fn eq(&self, other: &SimpleImmediateAssertionStatement) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<'a> TryFrom<&'a SimpleImmediateAssertionStatement> for Locate
impl<'a> TryFrom<&'a SimpleImmediateAssertionStatement> for Locate
impl StructuralPartialEq for SimpleImmediateAssertionStatement
Auto Trait Implementations§
impl RefUnwindSafe for SimpleImmediateAssertionStatement
impl Send for SimpleImmediateAssertionStatement
impl Sync for SimpleImmediateAssertionStatement
impl Unpin for SimpleImmediateAssertionStatement
impl UnwindSafe for SimpleImmediateAssertionStatement
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more