Enum moore_svlog_syntax::ast::AssertionDeferred
source · [−]pub enum AssertionDeferred {
Observed,
Final,
}
Variants
Observed
assert #0
Final
assert final
Trait Implementations
sourceimpl<'a> AcceptVisitor<'a> for AssertionDeferred
impl<'a> AcceptVisitor<'a> for AssertionDeferred
sourceimpl Clone for AssertionDeferred
impl Clone for AssertionDeferred
sourcefn clone(&self) -> AssertionDeferred
fn clone(&self) -> AssertionDeferred
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for AssertionDeferred
impl Debug for AssertionDeferred
sourceimpl<'a> ForEachChild<'a> for AssertionDeferred
impl<'a> ForEachChild<'a> for AssertionDeferred
sourcefn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
Apply a function to each child node.
sourceimpl<'a> ForEachNode<'a> for AssertionDeferred
impl<'a> ForEachNode<'a> for AssertionDeferred
sourcefn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
fn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))
Apply a function to this node.
sourceimpl<'a> WalkVisitor<'a> for AssertionDeferred
impl<'a> WalkVisitor<'a> for AssertionDeferred
impl Eq for AssertionDeferred
impl StructuralEq for AssertionDeferred
impl StructuralPartialEq for AssertionDeferred
Auto Trait Implementations
impl RefUnwindSafe for AssertionDeferred
impl Send for AssertionDeferred
impl Sync for AssertionDeferred
impl Unpin for AssertionDeferred
impl UnwindSafe for AssertionDeferred
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more