Enum ViolationType 

pub enum ViolationType {
    Unique,
    Unique0,
    Priority,
}

Which qualifier’s violation report is raised: the three assertion_type bits of Table 20-6 that name violation report types.

Variants

Unique

unique if / unique case (assertion_type 32).

Unique0

unique0 if / unique0 case (assertion_type 64).

Priority

priority if / priority case (assertion_type 128).

Implementations

impl ViolationType

pub const fn assertion_type_bit(self) -> u32

The Table 20-6 assertion_type bit.

pub const fn deferred_mode(self) -> u32

The sv_rt_deferred_end mode that hands a report of this type to violation_report (after DEFERRED_MODE_OBSERVED and DEFERRED_MODE_FINAL).

pub const fn from_deferred_mode(mode: u32) -> Option<ViolationType>

The type a sv_rt_deferred_end mode names, None for an assert #0/assert final mode or a stray value.

Trait Implementations

impl Clone for ViolationType

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 ViolationType

impl Debug for ViolationType

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

Formats the value using the given formatter.

impl Eq for ViolationType

impl PartialEq for ViolationType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ViolationType