Enum CovError 

pub enum CovError {
    NoKernel(KernelId),
    BadValue {
        ctx: String,
        got: String,
    },
    TooManyValues {
        ctx: String,
        limit: u128,
    },
    NonPositiveBins {
        bin: String,
        n: i128,
    },
    RealUnsupported {
        bin: String,
        what: &'static str,
    },
    RealNeedsBins {
        coverpoint: String,
    },
    RealDefaultArray {
        bin: String,
    },
    WidthTooLarge {
        coverpoint: String,
        width: u32,
    },
    TransUnbounded {
        bin: String,
        what: &'static str,
    },
    TransZeroLength {
        bin: String,
    },
    TransRepeat {
        bin: String,
        detail: String,
    },
    CrossSelect {
        cross: String,
        detail: String,
    },
    BadHandle(u64),
    UnknownItem {
        group: String,
        item: String,
    },
    DuplicateItem {
        group: String,
        item: String,
    },
    DefinitionOnlyOption {
        option: String,
    },
    BadDb {
        line: usize,
        detail: String,
    },
    UnknownOption(String),
    OptionLevel {
        option: String,
        level: &'static str,
    },
    OptionType {
        option: String,
    },
    OptionValue {
        option: String,
        detail: String,
    },
    Unsupported(String),
}

Everything the model rejects, loudly.

Variants

NoKernel(KernelId)

A kernel was needed but the evaluator has none.

BadValue

An expression evaluated to a value of the wrong kind.

Fields

ctx: String

got: String

TooManyValues

A bin would need more individual values than the model expands.

Fields

ctx: String

limit: u128

NonPositiveBins

bins b[N] with N not positive.

Fields

bin: String

n: i128

RealUnsupported

with/wildcard/transition bins on a real coverpoint (19.5.1, 19.5.2).

Fields

bin: String

what: &'static str

RealNeedsBins

A real coverpoint without a single explicit bin (19.5).

Fields

coverpoint: String

RealDefaultArray

A default bin of a real coverpoint with [] or [N] (19.5.1).

Fields

bin: String

WidthTooLarge

A coverpoint wider than MAX_WIDTH.

Fields

coverpoint: String

width: u32

TransUnbounded

A transition bin that needs a bounded sequence but has a goto or nonconsecutive repetition (19.5.2, 19.5.5, 19.5.6).

Fields

bin: String

what: &'static str

TransZeroLength

A transition bin of length 0 (19.5.2).

Fields

bin: String

TransRepeat

A bad repeat range in a transition bin (negative, reversed, zero goto).

Fields

bin: String

detail: String

CrossSelect

A malformed cross or select expression (an operand that is not crossed, a bin that does not exist, a non-positive matches), 19.6.

Fields

cross: String

detail: String

BadHandle(u64)

A handle that names no covergroup instance or type.

UnknownItem

A coverpoint/cross name the covergroup does not declare.

Fields

group: String

item: String

DuplicateItem

Two coverpoints/crosses of one covergroup with the same name.

Fields

group: String

item: String

DefinitionOnlyOption

An option that 19.7/19.7.1 allow only in the covergroup definition, assigned procedurally.

Fields

option: String

BadDb

A coverage database file that does not parse (19.9), by 1-based line.

Fields

line: usize

detail: String

UnknownOption(String)

OptionLevel

An option used at a level where Table 19-2/19-3 does not allow it.

Fields

option: String

level: &'static str

OptionType

Fields

option: String

OptionValue

Fields

option: String

detail: String

Unsupported(String)

Valid SystemVerilog the model does not implement (named, never silent).

Trait Implementations

impl Clone for CovError

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 CovError

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

Formats the value using the given formatter.

impl Display for CovError

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

Formats the value using the given formatter.

impl Error for CovError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for CovError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CovError