Enum witnext::ValidationError

pub enum ValidationError {
    UnknownName {
        name: String,
        location: Location,
    },
    CyclicModule {
        location: Location,
    },
    NameAlreadyExists {
        name: String,
        at_location: Location,
        previous_location: Location,
    },
    WrongKindName {
        name: String,
        location: Location,
        expected: &'static str,
        got: &'static str,
    },
    Recursive {
        name: String,
        location: Location,
    },
    InvalidRepr {
        repr: BuiltinType,
        location: Location,
    },
    Abi {
        reason: String,
        location: Location,
    },
    AnonymousRecord {
        location: Location,
    },
    UnionSizeMismatch {
        expected: usize,
        found: usize,
        location: Location,
    },
    InvalidUnionTag {
        reason: String,
        location: Location,
    },
    InvalidUnionField {
        name: String,
        reason: String,
        location: Location,
    },
    ZeroCaseVariant {
        location: Location,
    },
    ModuleNameMismatch {
        location: Location,
        module_name: String,
        file_name: String,
    },
}

Variants

UnknownName

Fields of UnknownName

name: Stringlocation: Location

CyclicModule

Fields of CyclicModule

location: Location

NameAlreadyExists

Fields of NameAlreadyExists

name: Stringat_location: Locationprevious_location: Location

WrongKindName

Fields of WrongKindName

name: Stringlocation: Locationexpected: &'static strgot: &'static str

Recursive

Fields of Recursive

name: Stringlocation: Location

InvalidRepr

Fields of InvalidRepr

repr: BuiltinTypelocation: Location

Abi

Fields of Abi

reason: Stringlocation: Location

AnonymousRecord

Fields of AnonymousRecord

location: Location

UnionSizeMismatch

Fields of UnionSizeMismatch

expected: usizefound: usizelocation: Location

InvalidUnionTag

Fields of InvalidUnionTag

reason: Stringlocation: Location

InvalidUnionField

Fields of InvalidUnionField

name: Stringreason: Stringlocation: Location

ZeroCaseVariant

Fields of ZeroCaseVariant

location: Location

ModuleNameMismatch

Fields of ModuleNameMismatch

location: Locationmodule_name: Stringfile_name: String

Implementations

impl ValidationError

pub fn report_with(&self, witxio: &dyn WitxIo) -> String

pub fn report(&self) -> String

Trait Implementations

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

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

Returns a stack backtrace, if available, of where this error occurred.

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

impl From<ValidationError> for WitxError

fn from(source: ValidationError) -> Self

Performs the conversion.