Enum ValidateError 

pub enum ValidateError {
    OutOfBounds {
        addr: usize,
        need: usize,
        buf_len: usize,
    },
    Misaligned {
        addr: usize,
        align: usize,
    },
    NullNear {
        addr: usize,
    },
    InvalidListHeader {
        addr: usize,
    },
    ListLenMismatch {
        addr: usize,
        expected: u32,
        actual: u32,
    },
    InvalidDiscriminant {
        addr: usize,
        value: u8,
        max: u8,
    },
    InvalidBool {
        addr: usize,
        value: u8,
    },
    Uninhabited,
}

Error returned by Flat::validate and Region::from_bytes.

Variants

OutOfBounds

Buffer is too small to hold the type at the given address.

Fields

addr: usize

Address of the value in the buffer.

need: usize

Number of bytes needed.

buf_len: usize

Actual buffer length.

Misaligned

Address is not correctly aligned for the type.

Fields

addr: usize

Address that failed the alignment check.

align: usize

Required alignment.

NullNear

A Near<T> offset is zero (null pointer).

Fields

addr: usize

Address of the Near<T> field.

InvalidListHeader

NearList header has inconsistent head/len (e.g. non-zero head with zero len).

Fields

addr: usize

Address of the NearList header.

ListLenMismatch

Segment lengths don’t sum to the total NearList length.

Fields

addr: usize

Address of the NearList header.

expected: u32

Expected total length from the header.

actual: u32

Actual sum of segment lengths.

InvalidDiscriminant

Enum discriminant is not a valid variant.

Fields

addr: usize

Address of the discriminant byte.

value: u8

The discriminant value found.

max: u8

Maximum valid discriminant (variant_count - 1).

InvalidBool

A bool value is not 0 or 1.

Fields

addr: usize

Address of the bool.

value: u8

The invalid value found.

Uninhabited

An uninhabited type (Infallible) can never be valid.

Implementations

impl ValidateError

pub fn check_bounds<T>(addr: usize, buf: &[u8]) -> Result<(), Self>

Check that buf has at least size_of::<T>() bytes starting at addr.

Errors

Returns OutOfBounds if the buffer is too small.

pub const fn check_align<T>(addr: usize) -> Result<(), Self>

Check that addr is aligned for T.

Errors

Returns Misaligned if the address is not aligned.

pub fn check<T>(addr: usize, buf: &[u8]) -> Result<(), Self>

Combined bounds + alignment check.

Errors

Returns OutOfBounds or Misaligned.

Trait Implementations

impl Clone for ValidateError

fn clone(&self) -> ValidateError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidateError

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

Formats the value using the given formatter.

impl Display for ValidateError

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

Formats the value using the given formatter.

impl Error for ValidateError

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 ValidateError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ValidateError

impl StructuralPartialEq for ValidateError