Enum CheckArgs 

pub enum CheckArgs {
    Setup(EventPairArgs),
    Hold(EventPairArgs),
    SetupHold(SetupHoldArgs),
    Recovery(EventPairArgs),
    Removal(EventPairArgs),
    RecRem(RecRemArgs),
    Skew(EventPairArgs),
    TimeSkew(TimeSkewArgs),
    FullSkew(FullSkewArgs),
    Period(PeriodArgs),
    Width(WidthArgs),
    NoChange(NoChangeArgs),
}

A system timing check’s arguments, decoded by the positional layout of LRM 1800-2023 Tables 31-1..31-12 – one variant per check kind.

Variants

Setup(EventPairArgs)

Hold(EventPairArgs)

SetupHold(SetupHoldArgs)

Recovery(EventPairArgs)

Removal(EventPairArgs)

RecRem(RecRemArgs)

Skew(EventPairArgs)

TimeSkew(TimeSkewArgs)

FullSkew(FullSkewArgs)

Period(PeriodArgs)

Width(WidthArgs)

NoChange(NoChangeArgs)

Implementations

impl CheckArgs

pub fn limits_mut(&mut self) -> Vec<&mut CheckLimit>

Every limit / threshold / offset this check carries, in argument order – the slots sv-sim-bin attaches tick values to and $sdf_annotate (Track C) overwrites.

Trait Implementations

impl Clone for CheckArgs

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 CheckArgs

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

Formats the value using the given formatter.

impl Eq for CheckArgs

impl PartialEq for CheckArgs

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckArgs