Struct EventWaitSet 

pub struct EventWaitSet {
    pub terms: Vec<EventTerm>,
    pub rechecks_on_wake: bool,
}

WaitKind::Any is SV’s only real semantics; kept as an explicit list for ##N/repeat (scheduler.md).

Fields

terms: Vec<EventTerm>

rechecks_on_wake: bool

true for wait(expr): the resumed process re-checks its condition before running on, so a wake delivered while the process was suspended (process::suspend, LRM 9.7.4) can be parked and replayed by resume() harmlessly. false for an @(...) event control, where the LRM desensitises a suspended waiter: an event that fires during the suspension is missed, not replayed.

Trait Implementations

impl Clone for EventWaitSet

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 EventWaitSet

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

Formats the value using the given formatter.

impl Default for EventWaitSet

fn default() -> Self

Returns the “default value” for a type.