Enum ValidationError 

pub enum ValidationError {
    NoModuleName,
    DuplicateModuleName(String),
    InvalidModuleName(String, &'static str),
    DuplicateFunctionName {
        module: String,
        function: String,
    },
    DuplicateParamName {
        module: String,
        function: String,
        param: String,
    },
    ReservedKeyword(String),
    InvalidIdentifier(String, &'static str),
    ErrorDomainMissingName(String),
    DuplicateErrorName {
        module: String,
        name: String,
    },
    DuplicateErrorCode {
        module: String,
        code: i32,
    },
    InvalidErrorCode {
        module: String,
        name: String,
    },
    NameCollisionWithErrorDomain {
        module: String,
        name: String,
    },
    DuplicateStructName {
        module: String,
        name: String,
    },
    DuplicateStructField {
        struct_name: String,
        field: String,
    },
    EmptyStruct {
        module: String,
        name: String,
    },
    DuplicateEnumName {
        module: String,
        name: String,
    },
    EmptyEnum {
        module: String,
        name: String,
    },
    DuplicateEnumVariant {
        enum_name: String,
        variant: String,
    },
    DuplicateEnumVariantField {
        enum_name: String,
        variant: String,
        field: String,
    },
    DuplicateEnumValue {
        enum_name: String,
        value: i32,
    },
    UnknownTypeRef {
        name: String,
    },
    InvalidMapKey {
        key_type: String,
    },
    BorrowedTypeInInvalidPosition {
        ty: String,
        location: String,
    },
    DuplicateCallbackName {
        module: String,
        name: String,
    },
    ListenerCallbackNotFound {
        module: String,
        listener: String,
        callback: String,
    },
    DuplicateListenerName {
        module: String,
        name: String,
    },
    UnsupportedCallbackParamType {
        module: String,
        callback: String,
        param: String,
        ty: String,
    },
    IteratorInInvalidPosition {
        location: String,
    },
    UnsupportedElementType {
        location: String,
        ty: String,
    },
    AsyncIteratorReturn {
        module: String,
        function: String,
    },
    BuilderStructEmpty {
        module: String,
        name: String,
    },
    UnsupportedSchemaVersion {
        version: String,
        supported: String,
    },
}

Every way an Api can fail validation.

validate_api returns the first variant it encounters. Each variant carries the names needed to render an actionable diagnostic, and the #[error]/#[diagnostic] attributes supply the message and help text shown to the user.

Variants

NoModuleName

A module is missing its required name field.

DuplicateModuleName(String)

Two modules share the same name.

InvalidModuleName(String, &'static str)

A module name is not a valid identifier; the second field explains why.

DuplicateFunctionName

Two functions in the same module share a name.

Fields

module: String

Module that contains the colliding functions.

function: String

Duplicated function name.

DuplicateParamName

Two parameters of one function share a name.

Fields

module: String

Module that contains the function.

function: String

Function that contains the colliding parameters.

param: String

Duplicated parameter name.

ReservedKeyword(String)

A name matches a reserved keyword in one of the target languages.

InvalidIdentifier(String, &'static str)

An identifier is malformed; the second field explains why.

ErrorDomainMissingName(String)

An error domain in the named module is missing its name field.

DuplicateErrorName

Two error codes in the same module share a name.

Fields

module: String

Module that contains the error domain.

name: String

Duplicated error code name.

DuplicateErrorCode

Two error codes in the same module share a numeric value.

Fields

module: String

Module that contains the error domain.

code: i32

Conflicting numeric error code.

InvalidErrorCode

An error code uses the reserved value 0 (which means success).

Fields

module: String

Module that contains the error domain.

name: String

Error code name with the invalid value.

NameCollisionWithErrorDomain

A function name collides with an error domain name in the same module.

Fields

module: String

Module where the collision occurs.

name: String

Name shared by the function and the error domain.

DuplicateStructName

Two structs in the same module share a name.

Fields

module: String

Module that contains the structs.

name: String

Duplicated struct name.

DuplicateStructField

Two fields of one struct share a name.

Fields

struct_name: String

Struct that contains the colliding fields.

field: String

Duplicated field name.

EmptyStruct

A struct declares no fields.

Fields

module: String

Module that contains the struct.

name: String

Name of the empty struct.

DuplicateEnumName

Two enums in the same module share a name.

Fields

module: String

Module that contains the enums.

name: String

Duplicated enum name.

EmptyEnum

An enum declares no variants.

Fields

module: String

Module that contains the enum.

name: String

Name of the empty enum.

DuplicateEnumVariant

Two variants of one enum share a name.

Fields

enum_name: String

Enum that contains the colliding variants.

variant: String

Duplicated variant name.

DuplicateEnumVariantField

Two associated fields of one rich enum variant share a name.

Fields

enum_name: String

Enum that contains the variant.

variant: String

Variant that contains the colliding fields.

field: String

Duplicated associated field name.

DuplicateEnumValue

Two variants of one enum share a numeric discriminant.

Fields

enum_name: String

Enum that contains the variants.

value: i32

Conflicting numeric discriminant.

UnknownTypeRef

A type reference names a struct or enum that doesn’t exist.

Fields

name: String

Unresolved type name.

InvalidMapKey

A map uses a key type the C ABI can’t represent.

Fields

key_type: String

Rejected key type, rendered as it appears in the IDL.

BorrowedTypeInInvalidPosition

A borrowed type appears somewhere other than a function parameter.

Fields

ty: String

Borrowed type that was rejected.

location: String

Position where the borrowed type appeared.

DuplicateCallbackName

Two callbacks in the same module share a name.

Fields

module: String

Module that contains the callbacks.

name: String

Duplicated callback name.

ListenerCallbackNotFound

A listener references a callback that isn’t defined in its module.

Fields

module: String

Module that contains the listener.

listener: String

Listener with the dangling reference.

callback: String

Callback name that could not be resolved.

DuplicateListenerName

Two listeners in the same module share a name.

Fields

module: String

Module that contains the listeners.

name: String

Duplicated listener name.

UnsupportedCallbackParamType

A callback parameter uses a type that can’t cross the callback ABI.

Fields

module: String

Module that contains the callback.

callback: String

Callback that declares the parameter.

param: String

Parameter with the unsupported type.

ty: String

Offending type, rendered as it appears in the IDL.

IteratorInInvalidPosition

An iterator type appears somewhere other than a function return.

Fields

location: String

Position where the iterator type appeared.

UnsupportedElementType

A list, map, or iterator has an element type the C ABI can’t flatten.

Fields

location: String

Position where the unsupported element type appeared.

ty: String

Offending element type, rendered as it appears in the IDL.

AsyncIteratorReturn

An async function tries to return an iterator, which has no async ABI.

Fields

module: String

Module that contains the function.

function: String

Async function with the iterator return.

BuilderStructEmpty

A struct marked builder: true declares no fields.

Fields

module: String

Module that contains the struct.

name: String

Name of the empty builder struct.

UnsupportedSchemaVersion

The document declares a schema version this build doesn’t support.

Fields

version: String

Version requested by the document.

supported: String

Comma-separated list of versions this build accepts.

Trait Implementations

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Diagnostic for ValidationError

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn related<'a>( &'a self, ) -> Option<Box<dyn Iterator<Item = &'a dyn Diagnostic> + 'a>>

Additional related Diagnostics.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

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)>

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.