Struct moore_svlog::InstVerbosityVisitor

pub struct InstVerbosityVisitor<'a, 'gcx> { /* fields omitted */ }

A visitor that emits instantiation details diagnostics.

Implementations

impl<'a, 'gcx> InstVerbosityVisitor<'a, 'gcx>

pub fn new(cx: &'a GlobalContext<'gcx>) -> Self

Create a new visitor that emits instantiation details.

Trait Implementations

impl<'a, 'gcx> Visitor<'gcx> for InstVerbosityVisitor<'a, 'gcx>

type Context = GlobalContext<'gcx>

The type of context that this visitor uses.

fn context(&self) -> &Self::Context

Get the context to be used to resolve queries.

fn visit_inst(&mut self, hir: &'gcx Inst<'gcx>)

fn visit_node_with_id(&mut self, node_id: NodeId, lvalue: bool)

fn visit_node(&mut self, node: HirNode<'a>, lvalue: bool)

fn visit_ident(&mut self, _ident: Spanned<Name>)

fn visit_unary_op(&mut self, _op: UnaryOp)

fn visit_binary_op(&mut self, _op: BinaryOp)

fn visit_module(&mut self, module: &'a Module<'_>)

fn visit_proc(&mut self, prok: &'a Proc)

fn visit_stmt(&mut self, stmt: &'a Stmt)

fn visit_expr(&mut self, expr: &'a Expr<'a>, lvalue: bool)

fn visit_timing_control(&mut self, ctrl: &'a TimingControl)

fn visit_event_expr(&mut self, expr: &'a EventExpr)

fn visit_event(&mut self, event: &'a Event)

fn visit_typedef(&mut self, typedef: &'a Typedef)

fn visit_var_decl(&mut self, decl: &'a VarDecl)

fn visit_assign(&mut self, assign: &'a Assign)

fn visit_int_port(&mut self, int_port: &'a IntPort<'_>)

fn visit_ext_port(&mut self, ext_port: &'a ExtPort<'_>)

fn visit_inst_target(&mut self, hir: &'a InstTarget<'a>)