Trait moore_svlog::mir::WalkVisitor

pub trait WalkVisitor<'a> {
    fn walk(&'a self, _visitor: &mut dyn Visitor<'a>) { ... }
}

A node that walks a Visitor over itself.

Provided methods

fn walk(&'a self, _visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.

Implementations on Foreign Types

impl<'a> WalkVisitor<'a> for bool

impl<'a> WalkVisitor<'a> for usize

impl<'a> WalkVisitor<'a> for NodeId

impl<'a, T: WalkVisitor<'a>> WalkVisitor<'a> for &T

fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

impl<'a, T: WalkVisitor<'a>> WalkVisitor<'a> for Vec<T>

fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

impl<'a, K, T: WalkVisitor<'a>> WalkVisitor<'a> for HashMap<K, T>

fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

Implementors

impl<'a> WalkVisitor<'a> for Domain

impl<'a> WalkVisitor<'a> for Sign

impl<'a> WalkVisitor<'a> for BinaryBitwiseOp

impl<'a> WalkVisitor<'a> for IntBinaryArithOp

impl<'a> WalkVisitor<'a> for IntCompOp

impl<'a> WalkVisitor<'a> for IntUnaryArithOp

impl<'a> WalkVisitor<'a> for LvalueKind<'a>

impl<'a> WalkVisitor<'a> for RvalueKind<'a>

impl<'a> WalkVisitor<'a> for ShiftOp

impl<'a> WalkVisitor<'a> for StringCompOp

impl<'a> WalkVisitor<'a> for UnaryBitwiseOp

impl<'a> WalkVisitor<'a> for ParamEnv

impl<'a> WalkVisitor<'a> for Span

impl<'a> WalkVisitor<'a> for UnpackedType<'a>

impl<'a> WalkVisitor<'a> for Assignment<'a>

impl<'a> WalkVisitor<'a> for Lvalue<'a>

impl<'a> WalkVisitor<'a> for Rvalue<'a>

impl<'a> WalkVisitor<'a> for Value<'_>