Struct ProceduralChecker 

pub struct ProceduralChecker<'d> {
    pub block: Symbol<'d>,
    pub stmt: Statement<'d>,
    pub instance: Symbol<'d>,
}

One checker instantiation statement (LRM 17.3: a checker instantiated in an always or initial procedure).

Fields

block: Symbol<'d>

The procedure the statement is in.

stmt: Statement<'d>

The statement.

instance: Symbol<'d>

The instance it instantiates.

Trait Implementations

impl<'d> Clone for ProceduralChecker<'d>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'d> Copy for ProceduralChecker<'d>