Struct InspectCx 

pub struct InspectCx<'a> { /* private fields */ }

Context for an inspection session.

Carries configuration, limits, and traversal state through the inspection process to ensure safety and respect resource constraints.

Implementations

impl<'a> InspectCx<'a>

pub fn new() -> Self

Create a new inspection context with default limits.

pub fn with_limits(limits: InspectLimits) -> Self

Create a new inspection context with specific limits.

pub fn limits(&self) -> &InspectLimits

Get the configured limits.

pub fn depth(&self) -> usize

Get the current traversal depth.

pub fn depth_exceeded(&self) -> bool

Check if the depth limit has been reached.

pub fn nodes_exceeded(&self) -> bool

Check if the node limit has been reached.

pub fn visit_node(&mut self)

Increment the node counter.

pub fn enter(&mut self) -> DepthGuard<'_, 'a>

Enter a deeper level of traversal.

pub fn is_visited(&self, addr: usize) -> bool

Check if an address has been visited (cycle detection).

pub fn mark_visited(&mut self, addr: usize)

Mark an address as visited.

Trait Implementations

impl<'a> Debug for InspectCx<'a>

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

Formats the value using the given formatter.

impl Default for InspectCx<'_>

fn default() -> Self

Returns the “default value” for a type.