Struct moore_svlog::hir::Proc

pub struct Proc {
    pub id: NodeId,
    pub span: Span,
    pub kind: ProcedureKind,
    pub stmt: NodeId,
}

A procedure.

Fields

id: NodeId

span: Span

kind: ProcedureKind

stmt: NodeId

Trait Implementations

impl<'a, 'hir> Alloc<'a, 'a, Proc> for Arena<'hir> where
    'hir: 'a, 

fn alloc(&'a self, value: Proc) -> &'a mut Proc

Allocate a value of type T.

impl Debug for Proc

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl HasDesc for Proc

fn desc(&self) -> &'static str

Obtain a human-readable descriptive name for this node.

fn desc_full(&self) -> String

Obtain a human-readable description for this node, possibly containing the node’s name.

impl HasSpan for Proc

fn span(&self) -> Span

Obtain the full span of the input file that this node covers.

fn human_span(&self) -> Span

Obtain a span which can be used to refer to this node in error messages presented to humans. This will generally be the name for things like entities, processes, and variables. Defaults to return whatever span() returns.

impl PartialEq<Proc> for Proc

fn eq(&self, other: &Proc) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Proc) -> bool

This method tests for !=.

impl Eq for Proc

impl StructuralEq for Proc

impl StructuralPartialEq for Proc