Skip to main content

ProgramVerifyErrorKind

Enum ProgramVerifyErrorKind

pub enum ProgramVerifyErrorKind {
Show 36 variants    EmptyProgram,
    TooManyModules {
        count: usize,
    },
    EntryModuleOutOfBounds {
        entry: u32,
        module_count: usize,
    },
    Module(VerifyError),
    ModuleNameOutOfBounds {
        constant: ConstantId,
    },
    ModuleNameNotString {
        constant: ConstantId,
    },
    InvalidModuleName,
    MetadataStringIllFormed {
        constant: ConstantId,
    },
    DuplicateModuleName {
        first: ModuleId,
    },
    TooManyEdges {
        count: usize,
    },
    TooManyBindings {
        count: usize,
    },
    TooManyExports {
        count: usize,
    },
    SpecifierOutOfBounds {
        edge: EdgeId,
        constant: ConstantId,
    },
    SpecifierNotString {
        edge: EdgeId,
        constant: ConstantId,
    },
    AbsoluteSpecifier {
        edge: EdgeId,
    },
    DuplicateSpecifier {
        first: EdgeId,
        second: EdgeId,
    },
    LocalTargetOutOfBounds {
        edge: EdgeId,
        target: ModuleId,
    },
    BindingNameOutOfBounds {
        binding: BindingId,
        constant: ConstantId,
    },
    BindingNameNotString {
        binding: BindingId,
        constant: ConstantId,
    },
    BindingEdgeOutOfBounds {
        binding: BindingId,
        edge: EdgeId,
    },
    ImportedNameOutOfBounds {
        binding: BindingId,
        constant: ConstantId,
    },
    ImportedNameNotString {
        binding: BindingId,
        constant: ConstantId,
    },
    DuplicateBinding {
        first: BindingId,
        second: BindingId,
    },
    StaticBindingRequiresStaticEdge {
        binding: BindingId,
        edge: EdgeId,
    },
    MissingImportedExport {
        binding: BindingId,
    },
    ExportNameOutOfBounds {
        export: u32,
        constant: ConstantId,
    },
    ExportNameNotString {
        export: u32,
        constant: ConstantId,
    },
    DuplicateExport {
        first: u32,
        second: u32,
    },
    ExportBindingOutOfBounds {
        export: u32,
        binding: BindingId,
    },
    ExportEdgeOutOfBounds {
        export: u32,
        edge: EdgeId,
    },
    IndirectNameOutOfBounds {
        export: u32,
        constant: ConstantId,
    },
    IndirectNameNotString {
        export: u32,
        constant: ConstantId,
    },
    DynamicImportMissingEdge {
        specifier: ConstantId,
    },
    SnapshotExportInstruction {
        function: u32,
        pc: u32,
    },
    MissingIndirectExport {
        export: u32,
    },
    IndirectExportCycle {
        export: u32,
    },
}

Variants§

EmptyProgram

TooManyModules

Fields

§count: usize

EntryModuleOutOfBounds

Fields

§entry: u32

§module_count: usize

Module(VerifyError)

ModuleNameOutOfBounds

Fields

§constant: ConstantId

ModuleNameNotString

Fields

§constant: ConstantId

InvalidModuleName

MetadataStringIllFormed

Fields

§constant: ConstantId

DuplicateModuleName

Fields

§first: ModuleId

TooManyEdges

Fields

§count: usize

TooManyBindings

Fields

§count: usize

TooManyExports

Fields

§count: usize

SpecifierOutOfBounds

Fields

§edge: EdgeId

§constant: ConstantId

SpecifierNotString

Fields

§edge: EdgeId

§constant: ConstantId

AbsoluteSpecifier

Fields

§edge: EdgeId

DuplicateSpecifier

Fields

§first: EdgeId

§second: EdgeId

LocalTargetOutOfBounds

Fields

§edge: EdgeId

§target: ModuleId

BindingNameOutOfBounds

Fields

§binding: BindingId

§constant: ConstantId

BindingNameNotString

Fields

§binding: BindingId

§constant: ConstantId

BindingEdgeOutOfBounds

Fields

§binding: BindingId

§edge: EdgeId

ImportedNameOutOfBounds

Fields

§binding: BindingId

§constant: ConstantId

ImportedNameNotString

Fields

§binding: BindingId

§constant: ConstantId

DuplicateBinding

Fields

§first: BindingId

§second: BindingId

StaticBindingRequiresStaticEdge

Fields

§binding: BindingId

§edge: EdgeId

MissingImportedExport

Fields

§binding: BindingId

ExportNameOutOfBounds

Fields

§export: u32

§constant: ConstantId

ExportNameNotString

Fields

§export: u32

§constant: ConstantId

DuplicateExport

Fields

§first: u32

§second: u32

ExportBindingOutOfBounds

Fields

§export: u32

§binding: BindingId

ExportEdgeOutOfBounds

Fields

§export: u32

§edge: EdgeId

IndirectNameOutOfBounds

Fields

§export: u32

§constant: ConstantId

IndirectNameNotString

Fields

§export: u32

§constant: ConstantId

DynamicImportMissingEdge

Fields

§specifier: ConstantId

SnapshotExportInstruction

Fields

§function: u32

§pc: u32

MissingIndirectExport

Fields

§export: u32

IndirectExportCycle

Fields

§export: u32

Trait Implementations§

impl Clone for ProgramVerifyErrorKind

fn clone(&self) -> ProgramVerifyErrorKind

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl Debug for ProgramVerifyErrorKind

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

Formats the value using the given formatter. Read more

impl Eq for ProgramVerifyErrorKind

impl PartialEq for ProgramVerifyErrorKind

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

impl StructuralPartialEq for ProgramVerifyErrorKind

Auto Trait Implementations§

impl Freeze for ProgramVerifyErrorKind

impl RefUnwindSafe for ProgramVerifyErrorKind

impl Send for ProgramVerifyErrorKind

impl Sync for ProgramVerifyErrorKind

impl Unpin for ProgramVerifyErrorKind

impl UnsafeUnpin for ProgramVerifyErrorKind

impl UnwindSafe for ProgramVerifyErrorKind

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

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

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.