Trait Verify 

pub trait Verify {
    const INLINE_SIZE: usize;

    // Required method
    fn verify_at(
        buf: &[u8],
        offset: usize,
        depth: usize,
        out: &mut Vec<usize>,
    ) -> Result<(), VerifyError>;
}

Required Associated Constants

const INLINE_SIZE: usize

Required Methods

fn verify_at( buf: &[u8], offset: usize, depth: usize, out: &mut Vec<usize>, ) -> Result<(), VerifyError>

Verify the value at offset. Every vtable position reached during traversal is pushed onto out; duplicates are expected and deduplicated by the caller once at the end.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Verify for &str

const INLINE_SIZE: usize = 4

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for bool

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for f32

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for f64

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for i8

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for i16

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for i32

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for i64

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for i128

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for u8

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for u16

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for u32

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for u64

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for u128

const INLINE_SIZE: usize

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

impl Verify for String

const INLINE_SIZE: usize = 4

fn verify_at( buf: &[u8], offset: usize, _depth: usize, _out: &mut Vec<usize>, ) -> Result<(), VerifyError>

Implementors

impl<T> Verify for FileBlob<T>

where T: FileKind,

const INLINE_SIZE: usize = 4