Struct rkyv::validation::ArchiveContext

pub struct ArchiveContext { /* fields omitted */ }

Context to perform archive validation.

Implementations

impl ArchiveContext

pub fn new(bytes: &[u8]) -> Self

Creates a new archive context for the given byte slice

pub unsafe fn claim<T: CheckBytes<ArchiveContext>>(
    &mut self,
    base: *const u8,
    offset: isize,
    count: usize
) -> Result<*const u8, ArchiveMemoryError>

Checks the relative pointer with given base and offset, then claims count items at the target location.

Safety

base must be inside the archive this context was created for.

pub unsafe fn claim_bytes(
    &mut self,
    base: *const u8,
    offset: isize,
    count: usize,
    align: usize
) -> Result<*const u8, ArchiveMemoryError>

Checks the memory pointed to by the given relative pointer

Safety

base must be inside the archive this context was created for.

Trait Implementations

impl<T: CheckBytes<ArchiveContext>> CheckBytes<ArchiveContext> for ArchivedRef<T>

type Error = ArchivedRefError<T::Error>

The error that may result from validating the type.

pub unsafe fn check_bytes<'a>(
    bytes: *const u8,
    context: &mut ArchiveContext
) -> Result<&'a Self, Self::Error>

Checks whether the given bytes represent a valid value within the given context.

impl<T: CheckBytes<ArchiveContext>> CheckBytes<ArchiveContext> for ArchivedSlice<T>

type Error = ArchivedSliceError<T::Error>

The error that may result from validating the type.

pub unsafe fn check_bytes<'a>(
    bytes: *const u8,
    context: &mut ArchiveContext
) -> Result<&'a Self, Self::Error>

Checks whether the given bytes represent a valid value within the given context.

impl CheckBytes<ArchiveContext> for ArchivedStringSlice

type Error = ArchivedStringSliceError

The error that may result from validating the type.

pub unsafe fn check_bytes<'a>(
    bytes: *const u8,
    context: &mut ArchiveContext
) -> Result<&'a Self, Self::Error>

Checks whether the given bytes represent a valid value within the given context.

impl<K: CheckBytes<ArchiveContext> + Eq + Hash, V: CheckBytes<ArchiveContext>> CheckBytes<ArchiveContext> for ArchivedHashMap<K, V>

type Error = ArchivedHashMapError<K::Error, V::Error>

The error that may result from validating the type.

pub unsafe fn check_bytes<'a>(
    bytes: *const u8,
    context: &mut ArchiveContext
) -> Result<&'a Self, Self::Error>

Checks whether the given bytes represent a valid value within the given context.

impl<K: CheckBytes<ArchiveContext> + Eq + Hash> CheckBytes<ArchiveContext> for ArchivedHashSet<K>

type Error = ArchivedHashMapError<K::Error, <() as CheckBytes<ArchiveContext>>::Error>

The error that may result from validating the type.

pub unsafe fn check_bytes<'a>(
    bytes: *const u8,
    context: &mut ArchiveContext
) -> Result<&'a Self, Self::Error>

Checks whether the given bytes represent a valid value within the given context.

impl CheckBytes<ArchiveContext> for RelPtr

type Error = Unreachable

The error that may result from validating the type.

pub unsafe fn check_bytes<'a>(
    bytes: *const u8,
    context: &mut ArchiveContext
) -> Result<&'a Self, Self::Error>

Checks whether the given bytes represent a valid value within the given context.