Enum EdgeControl 

pub enum EdgeControl {
    AnyChange,
    Edges(EdgeSet),
}

What makes a timing-check event occur (LRM 31.5): the resolved form of one event’s posedge / negedge / edge / edge [descriptors] / nothing. Whether a particular (from, to) value change is such an event is vj::timingcheck::edge_matches’s job – the one place that interprets this.

Variants

AnyChange

No edge control: ANY value change of the terminal is the event (from != to; an x<->z change counts, it is a change of the signal even though no edge descriptor names it).

Edges(EdgeSet)

Only a change that is one of these transitions is the event.

Implementations

impl EdgeControl

pub fn opposite(self) -> Option<EdgeControl>

The control of “the reference event signal with opposite edge” (LRM 31.4.4, $width’s derived data event; $nochange’s trailing edge is the same derivation): every transition reversed. None for EdgeControl::AnyChange, which has no direction to oppose – a check that needs this has an edge-specified reference (T13 enforces it), so a caller meeting None reports it by name rather than guessing.

pub fn from_syntax( edge: EdgeKind, descriptors: &[String], ) -> Result<Self, String>

Resolves the parsed edge / edge_descriptors pair of a SystemTimingCheckArg (sv-lang keeps the descriptors as written).

• posedge/negedge are the lists LRM 31.5 states they abbreviate;
• edge [d, ...] is the union of its descriptors;
• a bare edge (no list) is NOT defined by 31.5’s text. It is taken as all six transitions – “any edge”, as 9.4.2’s @(edge e) – chosen once here.

A descriptor that is not one of the six, or a descriptor list on anything but edge, is a named Err (slang rejects the former at parse time; this is the backstop for an sv-lang that stops doing so).

Trait Implementations

impl Clone for EdgeControl

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EdgeControl

impl Debug for EdgeControl

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EdgeControl

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EdgeControl

impl Hash for EdgeControl

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for EdgeControl

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EdgeControl

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for EdgeControl