Struct Validator 

pub struct Validator<A, S> { /* private fields */ }

The default validator.

Implementations

impl<A, S> Validator<A, S>

pub fn new(archive: A, shared: S) -> Self

Creates a new validator from a byte range.

Trait Implementations

impl<A, S, E> ArchiveContext<E> for Validator<A, S>

where A: ArchiveContext<E>,

fn check_subtree_ptr( &mut self, ptr: *const u8, layout: &Layout, ) -> Result<(), E>

Checks that the given data address and layout is located completely within the subtree range.

unsafe fn push_subtree_range( &mut self, root: *const u8, end: *const u8, ) -> Result<Range<usize>, E>

Pushes a new subtree range onto the validator and starts validating it.

unsafe fn pop_subtree_range(&mut self, range: Range<usize>) -> Result<(), E>

Pops the given range, restoring the original state with the pushed range removed.

impl<A: Debug, S: Debug> Debug for Validator<A, S>

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

Formats the value using the given formatter.

impl<A, S, E> SharedContext<E> for Validator<A, S>

where S: SharedContext<E>,

fn start_shared( &mut self, address: usize, type_id: TypeId, ) -> Result<ValidationState, E>

Starts validating the value associated with the given address.

fn finish_shared(&mut self, address: usize, type_id: TypeId) -> Result<(), E>

Finishes validating the value associated with the given address.