[−][src]Enum sv_parser::ConcurrentAssertionStatement

pub enum ConcurrentAssertionStatement {
    AssertPropertyStatement(Box<AssertPropertyStatement>),
    AssumePropertyStatement(Box<AssumePropertyStatement>),
    CoverPropertyStatement(Box<CoverPropertyStatement>),
    CoverSequenceStatement(Box<CoverSequenceStatement>),
    RestrictPropertyStatement(Box<RestrictPropertyStatement>),
}

Variants

AssertPropertyStatement(Box<AssertPropertyStatement>)

AssumePropertyStatement(Box<AssumePropertyStatement>)

CoverPropertyStatement(Box<CoverPropertyStatement>)

CoverSequenceStatement(Box<CoverSequenceStatement>)

RestrictPropertyStatement(Box<RestrictPropertyStatement>)

Trait Implementations

`impl Clone for ConcurrentAssertionStatement`[src]

`fn clone(&self) -> ConcurrentAssertionStatement`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for ConcurrentAssertionStatement`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl<'a> From<&'a ConcurrentAssertionStatement> for RefNode<'a>`[src]

`fn from(x: &'a ConcurrentAssertionStatement) -> RefNode<'a>`[src]

`impl<'a> From<&'a ConcurrentAssertionStatement> for RefNodes<'a>`[src]

`fn from(x: &'a ConcurrentAssertionStatement) -> RefNodes<'a>`[src]

`impl From<ConcurrentAssertionStatement> for AnyNode`[src]

`fn from(x: ConcurrentAssertionStatement) -> AnyNode`[src]

`impl<'a> IntoIterator for &'a ConcurrentAssertionStatement`[src]

`type Item = RefNode<'a>`

The type of the elements being iterated over.

`type IntoIter = Iter<'a>`

Which kind of iterator are we turning this into?

`fn into_iter( self ) -> <&'a ConcurrentAssertionStatement as IntoIterator>::IntoIter`[src]

`impl<'a> Node<'a> for ConcurrentAssertionStatement`[src]

`fn next(&'a self) -> RefNodes<'a>`[src]

`impl PartialEq<ConcurrentAssertionStatement> for ConcurrentAssertionStatement`[src]

`fn eq(&self, other: &ConcurrentAssertionStatement) -> bool`[src]

`fn ne(&self, other: &ConcurrentAssertionStatement) -> bool`[src]

`impl<'a> TryFrom<&'a ConcurrentAssertionStatement> for Locate`[src]

`type Error = ()`

The type returned in the event of a conversion error.

`fn try_from( x: &'a ConcurrentAssertionStatement ) -> Result<Locate, <Locate as TryFrom<&'a ConcurrentAssertionStatement>>::Error>`[src]

`impl TryFrom<AnyNode> for ConcurrentAssertionStatement`[src]

`type Error = ()`

The type returned in the event of a conversion error.

`fn try_from( x: AnyNode ) -> Result<ConcurrentAssertionStatement, <ConcurrentAssertionStatement as TryFrom<AnyNode>>::Error>`[src]

`impl TryFrom<ConcurrentAssertionStatement> for Locate`[src]

`type Error = ()`

The type returned in the event of a conversion error.

`fn try_from( x: ConcurrentAssertionStatement ) -> Result<Locate, <Locate as TryFrom<ConcurrentAssertionStatement>>::Error>`[src]

Auto Trait Implementations

`impl RefUnwindSafe for ConcurrentAssertionStatement`

`impl Send for ConcurrentAssertionStatement`

`impl Sync for ConcurrentAssertionStatement`

`impl Unpin for ConcurrentAssertionStatement`

`impl UnwindSafe for ConcurrentAssertionStatement`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]