Struct CheckEvent 

pub struct CheckEvent {
    pub terminal: TerminalRef,
    pub edge: EdgeKind,
    pub edge_descriptors: Vec<String>,
    pub edge_control: EdgeControl,
    pub condition: Option<CondNode>,
}

One timing_check_event argument (LRM 31.3): a terminal, its optional edge control, and its optional &&& condition (LRM 31.5/31.7).

Fields

terminal: TerminalRef

The signal (and bit window) the event watches.

edge: EdgeKind

posedge/negedge (EdgeKind::PosEdge/NegEdge), a bare edge or edge [descriptors] (EdgeKind::BothEdges), or [EdgeKind::None] for an event with no edge control (any value change).

edge_descriptors: Vec<String>

The edge [01, 1x] descriptor list as written (LRM Table 31-14), empty for every other form. Kept for diagnostics; the check process reads Self::edge_control, which is this resolved.

edge_control: EdgeControl

Self::edge and Self::edge_descriptors resolved to the transitions that are this event (LRM 31.5), validated at discovery.

condition: Option<CondNode>

The &&& qualifying condition (LRM 31.5/31.7), if any.

Trait Implementations

impl Clone for CheckEvent

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckEvent

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

Formats the value using the given formatter.

impl Eq for CheckEvent

impl PartialEq for CheckEvent

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckEvent