Struct VisitContext 

pub struct VisitContext<'a, State> { /* private fields */ }

State and recursive operations available to a visit callback.

A matched callback owns traversal of its value. Recursive operations reborrow the visitor, so mutable state cannot remain borrowed across them.

Implementations

impl<State> VisitContext<'_, State>

pub fn state(&self) -> &State

User state shared by every callback in this traversal.

pub fn state_mut(&mut self) -> &mut State

Mutably borrow the user state.

pub fn current(&self) -> &StructuralView

Complete borrowed value active at this callback.

pub fn def_region_kind(&self) -> DefRegionKind

Definition-region state active at the callback’s current value.

pub fn visit<T>(&mut self, child: &T) -> Result<Option<VisitInterrupt>>

where for<'x> AnyView<'x>: From<&'x T>,

Visit child using the current definition-region state.

pub fn visit_with<T>( &mut self, child: &T, def_region_kind: DefRegionKind, ) -> Result<Option<VisitInterrupt>>

where for<'x> AnyView<'x>: From<&'x T>,

Visit child using an explicit definition-region state.

pub fn visit_children(&mut self) -> Result<Option<VisitInterrupt>>

Apply default descent without dispatching the current value again. A callback enters its configured policy; within a policy this continues with the next policy, then registered hooks or reflected fields.

pub fn default_visit_children<T>( &mut self, value: &T, def_region_kind: DefRegionKind, ) -> Result<Option<VisitInterrupt>>

where for<'x> AnyView<'x>: From<&'x T>,

Apply default descent to value under an explicit definition region.

Like Self::visit_children, this continues with the next policy (or enters the configured policy from a callback), then registered hooks or reflected fields. It does not dispatch callbacks for value itself; its children re-enter the full callback engine.

An enclosing DefRegionKind::Pattern cannot be downgraded. The current value and region of this context are unchanged after the call, including when descent returns an error or interrupt.