Enum VerifyErrorKind 

pub enum VerifyErrorKind {
    EmptyModule,
    VerifierWorkLimitExceeded {
        work: u64,
        limit: u64,
    },
    TooManyConstants {
        count: usize,
    },
    TooManyFunctions {
        count: usize,
    },
    EntryFunctionOutOfBounds {
        entry: u32,
        function_count: usize,
    },
    EmptyFunction,
    TooManyInstructions {
        count: usize,
    },
    TooManyHandlers {
        count: usize,
    },
    RegisterCountOutOfBounds {
        count: u32,
    },
    ParameterCountExceedsRegisters {
        parameter_count: u32,
        register_count: u32,
    },
    EntryRegistersExceedRegisterCount {
        capture_count: u32,
        parameter_count: u32,
        register_count: u32,
    },
    FunctionNameOutOfBounds {
        constant: u32,
    },
    FunctionNameNotString {
        constant: ConstantId,
    },
    RegisterOutOfBounds {
        register: Register,
        register_count: u32,
    },
    ConstantOutOfBounds {
        constant: ConstantId,
        constant_count: usize,
    },
    StringConstantExpected {
        constant: ConstantId,
    },
    FunctionReferenceOutOfBounds {
        function: FunctionId,
        function_count: usize,
    },
    JumpOutOfBounds {
        target: u32,
        instruction_count: usize,
    },
    InvalidHandlerBounds {
        handler: usize,
        start: u32,
        end: u32,
        target: u32,
    },
    HandlerCatchRegisterOutOfBounds {
        handler: usize,
        register: Register,
        register_count: u32,
    },
    HandlersPartiallyOverlap {
        left: usize,
        right: usize,
    },
    ReadBeforeWrite {
        register: Register,
    },
}

Variants

EmptyModule

VerifierWorkLimitExceeded

Fields

work: u64

limit: u64

TooManyConstants

Fields

count: usize

TooManyFunctions

Fields

count: usize

EntryFunctionOutOfBounds

Fields

entry: u32

function_count: usize

EmptyFunction

TooManyInstructions

Fields

count: usize

TooManyHandlers

Fields

count: usize

RegisterCountOutOfBounds

Fields

count: u32

ParameterCountExceedsRegisters

Fields

parameter_count: u32

register_count: u32

EntryRegistersExceedRegisterCount

Fields

capture_count: u32

parameter_count: u32

register_count: u32

FunctionNameOutOfBounds

Fields

constant: u32

FunctionNameNotString

Fields

constant: ConstantId

RegisterOutOfBounds

Fields

register: Register

register_count: u32

ConstantOutOfBounds

Fields

constant: ConstantId

constant_count: usize

StringConstantExpected

Fields

constant: ConstantId

FunctionReferenceOutOfBounds

Fields

function: FunctionId

function_count: usize

JumpOutOfBounds

Fields

target: u32

instruction_count: usize

InvalidHandlerBounds

Fields

handler: usize

start: u32

end: u32

target: u32

HandlerCatchRegisterOutOfBounds

Fields

handler: usize

register: Register

register_count: u32

HandlersPartiallyOverlap

Fields

left: usize

right: usize

ReadBeforeWrite

Fields

register: Register

Trait Implementations

impl Clone for VerifyErrorKind

fn clone(&self) -> VerifyErrorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyErrorKind

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

Formats the value using the given formatter.

impl Eq for VerifyErrorKind

impl PartialEq for VerifyErrorKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyErrorKind