Enum SwitchOn 

pub enum SwitchOn<'d> {
    FiredTerm,
    VifId(Expression<'d>),
    RandCase(Statement<'d>),
    ObjClass {
        receiver: Option<Expression<'d>>,
        ids: Vec<Vec<u32>>,
    },
    NoTarget {
        what: String,
    },
    FnDisable {
        labels: Vec<String>,
    },
}

What a Terminator::Switch selects on.

Variants

FiredTerm

The index of the wait term that woke the process at the suspend just before (sv_rt_fired_term): wait_order.

VifId(Expression<'d>)

A virtual interface’s instance id minus one (netlist::vif): an interface task called through it.

RandCase(Statement<'d>)

A randcase‘s item, picked at random by the items’ weights (none when every weight is 0).

ObjClass

The arm whose class template ids hold the dynamic class of the object receiver names (the current object when None): a virtual class task that can suspend, one inlined override per arm (LRM 8.20).

Fields

receiver: Option<Expression<'d>>

ids: Vec<Vec<u32>>

NoTarget

No arm is ever taken: the switch only reports its error (what is the message) and continues at the default – a call to an extern forkjoin task no module implements (LRM 25.7.5).

Fields

what: String

FnDisable

The arm of the named block (labels[i], innermost first) that the subroutine call just before disabled with disable <block>; from inside a function (LRM 9.6.2, 35.9), else the default (sv_rt_dpi_fn_disable_index).

Fields

labels: Vec<String>

Implementations

impl<'d> SwitchOn<'d>

pub fn reads(&self) -> Vec<Expression<'d>>

Every expression the selection reads.

Trait Implementations

impl<'d> Clone for SwitchOn<'d>

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 SwitchOn<'_>

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

Formats the value using the given formatter.