Struct VerifyCtx 

pub struct VerifyCtx { /* private fields */ }

Guards a recursive walk against cycles (backward pointers) and against amplification via shared subtrees.

Implementations

impl VerifyCtx

pub const DEFAULT_MAX_DEPTH: u32 = 64

pub fn new(buf_len: usize) -> Self

Defaults: depth 64, budget max(buf_len * 8, 1 MiB) bytes.

pub fn with_limits(max_depth: u32, budget: usize) -> Self

pub fn max_depth(&self) -> u32

pub fn budget(&self) -> usize

Remaining budget in bytes.

pub fn enter(&mut self) -> Result<(), Error>

pub fn leave(&mut self)

pub fn charge(&mut self, bytes: usize) -> Result<(), Error>

Trait Implementations

impl Clone for VerifyCtx

fn clone(&self) -> VerifyCtx

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyCtx

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

Formats the value using the given formatter.