Struct SiteDesc 

pub struct SiteDesc {
    pub assertion_type: u32,
    pub directive_type: u32,
    pub scope: String,
    pub label: String,
}

What one site is, as the registry sees it.

Fields

assertion_type: u32

Exactly one ASSERT_* bit.

directive_type: u32

Exactly one DIR_* bit, or 0: not checked.

scope: String

The hierarchical scope holding the site.

label: String

The assertion’s full hierarchical name; empty when unlabeled (a statement-level site then carries #<source offset>, which tells the unlabeled assertions of one scope apart).

Implementations

impl SiteDesc

pub fn encode(&self) -> String

The text compiled code carries for the site (sv_rt_assert_ctl’s query).

pub fn parse(text: &str) -> Result<SiteDesc, String>

The inverse of SiteDesc::encode.

Trait Implementations

impl Clone for SiteDesc

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 SiteDesc

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

Formats the value using the given formatter.

impl Eq for SiteDesc

impl PartialEq for SiteDesc

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SiteDesc