Struct CheckLimit 

pub struct CheckLimit {
    pub arg_index: u32,
    pub ticks: i64,
}

A timing check limit / threshold / offset argument. Discovery records only WHERE it is (arg_index, the position in the check’s own argument list); its VALUE needs sv_lang::EvalSession plus the timescale, neither reachable from this crate, so sv-sim-bin::specify::discover evaluates it and attaches Self::ticks – the SAME “discover the SHAPE, attach the VALUE” split PathEntry::delays documents. $sdf_annotate (Track C) overwrites ticks in place afterwards. Signed: LRM 31.9 allows negative $setuphold/$recrem limits (and $nochange offsets).

Fields

arg_index: u32

The argument’s position in the check’s own argument list (LRM Tables 31-1..31-12 numbering, zero-based).

ticks: i64

The limit in scheduler ticks; 0 until sv-sim-bin attaches it.

Trait Implementations

impl Clone for CheckLimit

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 CheckLimit

impl Debug for CheckLimit

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

Formats the value using the given formatter.

impl Default for CheckLimit

fn default() -> Self

Returns the “default value” for a type.

impl Eq for CheckLimit

impl PartialEq for CheckLimit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckLimit